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

Inheritance: MonaExpr
Mostrar archivo Open project: AutomataDotNet/Automata

Public Methods

Method Description
Print ( StringBuilder sb ) : void

Private Methods

Method Description
MonaRestrict ( 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