|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
---|
CTLNode[] toCTL(AlgebraValue[] state)
CTLNode[][] toCTL(AlgebraValue[][] states)
CTLNode[] toCTL(MvSet cube)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |