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

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

Public Properties

Property Type Description
univs Cons
vars Cons

Public Methods

Method Description
Print ( StringBuilder sb ) : void

Private Methods

Method Description
MonaVarDecls ( MonaDeclKind kind, Cons univs, Cons vars ) : System
TypeCheck ( MonaDecl>.Dictionary glob, MonaParam>.MapStack loc ) : void

Method Details

Print() public method

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

Property Details

univs public_oe property

public Cons univs
return Cons

vars public_oe property

public Cons vars
return Cons