C# Класс Microsoft.Automata.MSO.Mona.MonaProgram

Показать файл Открыть проект Примеры использования класса

Открытые свойства

Свойство Тип Описание
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

Описание методов

Print() публичный Метод

public Print ( StringBuilder sb ) : void
sb StringBuilder
Результат void

ToMSO() публичный Метод

public ToMSO ( ) : MSOFormula
Результат MSOFormula

Typecheck() публичный Метод

public Typecheck ( ) : void
Результат void

Описание свойств

allpos публичное свойство

public MonaAllposDecl,Microsoft.Automata.MSO.Mona allpos
Результат MonaAllposDecl

declarations публичное свойство

public Cons declarations
Результат Cons

defaultwhere1 публичное свойство

public MonaDefaultWhereDecl,Microsoft.Automata.MSO.Mona defaultwhere1
Результат MonaDefaultWhereDecl

defaultwhere2 публичное свойство

public MonaDefaultWhereDecl,Microsoft.Automata.MSO.Mona defaultwhere2
Результат MonaDefaultWhereDecl

token публичное свойство

public Token,Microsoft.Automata.MSO.Mona token
Результат Token

vars0 публичное свойство

public List vars0
Результат List

vars1 публичное свойство

public List vars1
Результат List

vars2 публичное свойство

public List vars2
Результат List

varsT публичное свойство

public List varsT
Результат List