edu.toronto.cs.modelchecker
Interface StatePresenter


public interface StatePresenter

Converts an collection of variable, value assignment to a set of CTL expressions that evaluate to top on this assignment, and to bot on any other assignment


Method Summary
 CTLNode[] toCTL(AlgebraValue[] state)
           
 CTLNode[][] toCTL(AlgebraValue[][] states)
           
 CTLNode[] toCTL(MvSet cube)
           
 

Method Detail

toCTL

CTLNode[] toCTL(AlgebraValue[] state)

toCTL

CTLNode[][] toCTL(AlgebraValue[][] states)

toCTL

CTLNode[] toCTL(MvSet cube)