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

Inheritance: MonaExpr
Show file Open project: AutomataDotNet/Automata

Public Methods

Method Description
Print ( StringBuilder sb ) : void

Private Methods

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

Method Details

Print() public method

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