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

Inheritance: MonaExpr
ファイルを表示 Open project: AutomataDotNet/Automata

Public Properties

Property Type Description
elems Cons

Public Methods

Method Description
Print ( StringBuilder sb ) : void

Private Methods

Method Description
MonaSet ( Token set, Cons elems ) : 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

elems public_oe property

public Cons elems
return Cons