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

Inheritance: MonaExpr
显示文件 Open project: AutomataDotNet/Automata Class Usage Examples

Public Properties

Property Type Description
expressions Cons

Public Methods

Method Description
Print ( StringBuilder sb ) : void

Private Methods

Method Description
MonaPredApp ( Token token, Cons expressions ) : 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

expressions public_oe property

public Cons expressions
return Cons