C# Class Microsoft.Automata.MSO.Mona.MonaQFormula

Inheritance: MonaExpr
Show file Open project: AutomataDotNet/Automata

Public Properties

Property Type Description
universes Cons
varmap MonaParam>.Dictionary
vars Cons

Public Methods

Method Description
Print ( StringBuilder sb ) : void

Private Methods

Method Description
MonaQFormula ( Token quantifier, Cons vars, MonaExpr formula, Cons universes, MonaParam>.Dictionary varmap ) : System
TypeCheck ( MonaDecl>.Dictionary globals, MonaParam>.MapStack locals ) : void

Method Details

Print() public method

public Print ( StringBuilder sb ) : void
sb StringBuilder
return void

Property Details

universes public property

public Cons universes
return Cons

varmap public property

public Dictionary varmap
return MonaParam>.Dictionary

vars public property

public Cons vars
return Cons