verf.mdverif.model.entities
Class MDVerifTrans
java.lang.Object
verf.mdverif.model.entities.MDVerifTrans
public class MDVerifTrans
- extends java.lang.Object
Transition of internal Modechart representation.
- Author:
- Bc. Marek Gach
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TYPE_TIME
public static final int TYPE_TIME
- See Also:
- Constant Field Values
TYPE_TRIG
public static final int TYPE_TRIG
- See Also:
- Constant Field Values
MDVerifTrans
public MDVerifTrans()
MDVerifTrans
public MDVerifTrans(int lb,
int ub)
MDVerifTrans
public MDVerifTrans(int lb,
int ub,
MDVerifMode mode1,
MDVerifMode mode2)
MDVerifTrans
public MDVerifTrans(int type)
MDVerifTrans
public MDVerifTrans(java.util.Vector conditions)
MDVerifTrans
public MDVerifTrans(java.util.Vector conditions,
MDVerifMode mode1,
MDVerifMode mode2)
printInfo
public void printInfo()
getMode1
public MDVerifMode getMode1()
getMode2
public MDVerifMode getMode2()
setMode1
public void setMode1(MDVerifMode mode)
setMode2
public void setMode2(MDVerifMode mode)
addCondition
public void addCondition(MDVerifTransCond condition)
getType
public int getType()
getConditions
public java.util.Vector getConditions()
getLb
public int getLb()
getUb
public int getUb()