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

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

Public Properties

Property Type Description
formula MonaExpr
isSecondOrder bool
param Token

Public Methods

Method Description
Print ( StringBuilder sb ) : void

Private Methods

Method Description
MonaDefaultWhereDecl ( bool isSecondOrder, Token param, MonaExpr formula ) : 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

formula public_oe property

public MonaExpr,Microsoft.Automata.MSO.Mona formula
return MonaExpr

isSecondOrder public_oe property

public bool isSecondOrder
return bool

param public_oe property

public Token,Microsoft.Automata.MSO.Mona param
return Token