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

Inheritance: MonaExpr
Show file Open project: AutomataDotNet/Automata

Public Methods

Method Description
Print ( StringBuilder sb ) : void

Private Methods

Method Description
MonaNegatedFormula ( Token token, MonaExpr formula ) : System
TypeCheck ( MonaDecl>.Dictionary globals, MonaParam>.MapStack locals ) : void

Method Details

Print() public method

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