java.lang.Object

cruise.umple.nusmv.InvarConstraint

public class InvarConstraint
extends ModuleElement

Field Summary

Method Summary

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

getHeader, setHeader

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

Field Details
- NL
  
  public static final java.lang.String NL
- TEXT_0
  
  public static final java.lang.String TEXT_0
  
  See Also:
  
  Constant Field Values
- TEXT_1
  
  public static final java.lang.String TEXT_1
  
  See Also:
  
  Constant Field Values
- TEXT_2
  
  public static final java.lang.String TEXT_2
  
  See Also:
  
  Constant Field Values
- TEXT_3
  
  public static final java.lang.String TEXT_3
  
  See Also:
  
  Constant Field Values
- TEXT_4
  
  public static final java.lang.String TEXT_4
  
  See Also:
  
  Constant Field Values
- TEXT_5
  
  public static final java.lang.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 java.lang.StringBuilder _toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class ModuleElement