edu.toronto.cs.smv
Class SMVModule.SMVStatePresenter

java.lang.Object
  extended by edu.toronto.cs.smv.SMVModule.SMVStatePresenter
All Implemented Interfaces:
StatePresenter
Enclosing class:
SMVModule

public class SMVModule.SMVStatePresenter
extends java.lang.Object
implements StatePresenter


Constructor Summary
SMVModule.SMVStatePresenter()
           
 
Method Summary
 CTLNode[] toCTL(AlgebraValue[] state)
           
 CTLNode[][] toCTL(AlgebraValue[][] states)
           
 CTLNode[] toCTL(MvSet cube)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SMVModule.SMVStatePresenter

public SMVModule.SMVStatePresenter()
Method Detail

toCTL

public CTLNode[] toCTL(AlgebraValue[] state)
Specified by:
toCTL in interface StatePresenter

toCTL

public CTLNode[] toCTL(MvSet cube)
Specified by:
toCTL in interface StatePresenter

toCTL

public CTLNode[][] toCTL(AlgebraValue[][] states)
Specified by:
toCTL in interface StatePresenter