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

Inheritance: MonaExpr
Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Méthode Description
Print ( StringBuilder sb ) : void

Private Methods

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

Method Details

Print() public méthode

public Print ( StringBuilder sb ) : void
sb StringBuilder
Résultat void