java.lang.Object

cruise.umple.nusmv.InitConstraint

public class InitConstraint
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()`
`BasicExpression`	`getBasicExpression()`
`boolean`	`getTerminated()`
`boolean`	`isTerminated()`
`boolean`	`setBasicExpression(BasicExpression aNewBasicExpression)`
`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
- InitConstraint
  
  public InitConstraint(BasicExpression aBasicExpression)
Method Details
- setTerminated
  
  public boolean setTerminated(boolean aTerminated)
- getTerminated
  
  public boolean getTerminated()
- isTerminated
  
  public boolean isTerminated()
- getBasicExpression
  
  public BasicExpression getBasicExpression()
- setBasicExpression
  
  public boolean setBasicExpression(BasicExpression aNewBasicExpression)
- 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