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

Inheritance: MonaDecl
Show file 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 property

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

isSecondOrder public property

public bool isSecondOrder
return bool

param public property

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