Package verf.mdverif.model.entities

Class Summary
MDVerifMode Mode of internal Modechart representation.
MDVerifTrans Transition of internal Modechart representation.
MDVerifTransCond Transition condition of internal Modechart representation.