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

Inheritance: MonaDecl
Show file Open project: AutomataDotNet/Automata

Public Properties

Property Type Description
formula MonaExpr
isMacro bool
name Token
parameters Cons
pmap MonaParam>.Dictionary

Public Methods

Method Description
Print ( StringBuilder sb ) : void

Private Methods

Method Description
MonaPredDecl ( Token name, Cons parameters, MonaParam>.Dictionary pmap, MonaExpr formula, bool isMacro = false ) : 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

isMacro public property

public bool isMacro
return bool

name public property

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

parameters public property

public Cons parameters
return Cons

pmap public property

public Dictionary pmap
return MonaParam>.Dictionary