• 홈
• Microsoft
• Automata
• MSO
• Mona
• MonaProgram

C# 클래스 Microsoft.Automata.MSO.Mona.MonaProgram

파일 보기 프로젝트 열기: AutomataDotNet/Automata 1 사용 예제들

공개 프로퍼티들

프로퍼티	타입	설명
allpos	MonaAllposDecl
declarations	Cons
defaultwhere1	MonaDefaultWhereDecl
defaultwhere2	MonaDefaultWhereDecl
token	Token
vars0	List
vars1	List
vars2	List
varsT	List

공개 메소드들

메소드	설명
Print ( StringBuilder sb ) : void
ToMSO ( ) : MSOFormula
Typecheck ( ) : void

비공개 메소드들

메소드	설명
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

메소드 상세

프로퍼티 상세