Class InvarConstraint

java.lang.Object

cruise.umple.nusmv.ModuleElement

cruise.umple.nusmv.InvarConstraint

public class InvarConstraint
extends ModuleElement

Field Summary

Fields

Modifier and Type	Field	Description
static final String	NL
static final String	TEXT_0
static final String	TEXT_1
static final String	TEXT_2
static final String	TEXT_3
static final String	TEXT_4
static final String	TEXT_5

Constructor Summary

Constructors

Constructor	Description
InvarConstraint(InvarExpression aInvarExpression)

Method Summary

Modifier and Type	Method	Description
StringBuilder	_toString(Integer numSpaces, StringBuilder sb)
void	delete()
InvarExpression	getInvarExpression()
boolean	getTerminated()
boolean	isTerminated()
boolean	setInvarExpression(InvarExpression aNewInvarExpression)
boolean	setTerminated(boolean aTerminated)
String	toString()

Methods inherited from class ModuleElement

getHeader, setHeader

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

NL

public static final String NL

TEXT_0

public static final String TEXT_0

See Also:

• Constant Field Values

TEXT_1

public static final String TEXT_1

See Also:

• Constant Field Values

TEXT_2

public static final String TEXT_2

See Also:

• Constant Field Values

TEXT_3

public static final String TEXT_3

See Also:

• Constant Field Values

TEXT_4

public static final String TEXT_4

See Also:

• Constant Field Values

TEXT_5

public static final String TEXT_5

See Also:

• Constant Field Values

Constructor Details

InvarConstraint

public InvarConstraint(InvarExpression aInvarExpression)

Method Details

setTerminated

public boolean setTerminated(boolean aTerminated)

getTerminated

public boolean getTerminated()

isTerminated

public boolean isTerminated()

getInvarExpression

public InvarExpression getInvarExpression()

setInvarExpression

public boolean setInvarExpression(InvarExpression aNewInvarExpression)

delete

public void delete()

Overrides:

delete in class ModuleElement

_toString

public StringBuilder _toString(Integer numSpaces,
 StringBuilder sb)

toString

public String toString()

Overrides:

toString in class ModuleElement