verf.mdverif
Class MDVerifRepWraper

java.lang.Object
  extended by verf.mdverif.MDVerifRepWraper

public class MDVerifRepWraper
extends java.lang.Object

Class alowing to wrap MDDesigner modechart tree and transition representation into non-hierarchical verifier scheme. Internal verificator object represen- tation scheme then consists of non-hierarchical mode vector and transitions.


Constructor Summary
MDVerifRepWraper()
           
 
Method Summary
 MDVerifModel wrap(verf.mddesigner.gui.mvc.model.MModel model)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDVerifRepWraper

public MDVerifRepWraper()
Method Detail

wrap

public MDVerifModel wrap(verf.mddesigner.gui.mvc.model.MModel model)