| Method |
Description |
|
|
AddConstraints ( MSOFormula psi_x, Variable x, MSOFormula psi_y, Variable y, MSOFormula res ) : MSOFormula |
|
|
|
ConvertEmptyset ( MSOFormula &psi ) : Variable |
|
|
|
ConvertEq ( MonaExpr t1, MonaExpr t2, MonaParam>.MapStack locals ) : MSOFormula |
|
|
|
ConvertEq ( bool fo, MonaExpr t1, MonaExpr t2, MonaParam>.MapStack locals ) : MSOFormula |
|
|
|
ConvertFormula ( MonaExpr expr, MonaParam>.MapStack locals ) : MSOFormula |
|
|
|
ConvertIn ( MonaExpr t1, MonaExpr t2, MonaParam>.MapStack locals ) : MSOFormula |
|
|
|
ConvertInter ( MonaExpr set1, MonaExpr set2, MonaParam>.MapStack locals, MSOFormula &pred ) : Variable |
|
|
|
ConvertIsEmpty ( MonaExpr set, MonaParam>.MapStack locals ) : MSOFormula |
|
|
|
ConvertLe ( MonaExpr t1, MonaExpr t2, MonaParam>.MapStack locals ) : MSOFormula |
|
|
|
ConvertLt ( MonaExpr t1, MonaExpr t2, MonaParam>.MapStack locals ) : MSOFormula |
|
|
|
ConvertPredApp ( MonaPredApp predApp, MonaParam>.MapStack locals ) : MSOFormula |
|
|
|
ConvertSet ( MonaExpr set, MonaParam>.MapStack locals, MSOFormula &psi ) : Variable |
|
|
|
ConvertSetminus ( MonaExpr set1, MonaExpr set2, MonaParam>.MapStack locals, MSOFormula &pred ) : Variable |
|
|
|
ConvertSubset ( MonaExpr t1, MonaExpr t2, MonaParam>.MapStack locals ) : MSOFormula |
|
|
|
ConvertTerm1 ( MonaExpr t, MonaParam>.MapStack locals, MSOFormula &psi ) : Variable |
If t is a variable name then returns t as a f-o variable and sets psi=null. Else returns a fresh f-o variable x and outputs psi(x) s.t. psi(x) iff x=t. |
|
|
ConvertTerm2 ( MonaExpr t, MonaParam>.MapStack locals, MSOFormula &psi ) : Variable |
If t is a variable name then returns t as a s-o variable and sets psi=null. Else returns a fresh s-o variable X and outputs psi(X) s.t. psi(X) iff X=t. |
|
|
ConvertUnion ( MonaExpr set1, MonaExpr set2, MonaParam>.MapStack locals, MSOFormula &pred ) : Variable |
|
|
|
MkNewVar1 ( ) : Variable |
|
|
|
MkNewVar2 ( ) : Variable |
|
|
|
MonaProgram ( Token token, Cons declarations, MonaDecl>.Dictionary globals, List vars0, List vars1, List vars2, List varsT ) : System |
|
|
|
V1 ( string name ) : Variable |
|
|
|
V2 ( string name ) : Variable |
|
|