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

Inheritance: MonaDecl
Datei anzeigen 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_oe property

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

isMacro public_oe property

public bool isMacro
return bool

name public_oe property

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

parameters public_oe property

public Cons parameters
return Cons

pmap public_oe property

public Dictionary pmap
return MonaParam>.Dictionary