Package cruise.umple.nusmv
Class InitAssign
java.lang.Object
cruise.umple.nusmv.Assign
cruise.umple.nusmv.InitAssign
public class InitAssign extends Assign
-
Field Summary
-
Constructor Summary
Constructors Constructor Description InitAssign(java.lang.String aIdentifier, BasicExpression aBasicExpression)
-
Method Summary
Methods inherited from class cruise.umple.nusmv.Assign
getBasicExpression, getIdentifier, setBasicExpression, setIdentifier
-
Field Details
-
NL
public static final java.lang.String NL -
TEXT_0
public static final java.lang.String TEXT_0 -
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
-
-
Constructor Details
-
Method Details