C# Class Microsoft.Fast.AST.DomainExp

Inheritance: BuiltinLangExp

Mostrar archivo Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
arg1	BuiltinTransExp

Public Methods

Method	Description
DomainExp ( FastToken func, BuiltinTransExp arg1 ) : System
PrettyPrint ( StringBuilder sb ) : void
ToString ( ) : string

Private Methods

Method	Description
BLECheckSorts ( Def>.Dictionary defs, FastPgm pgm ) : void

Method Details

DomainExp() public method

public DomainExp ( FastToken func, BuiltinTransExp arg1 ) : System
func	FastToken
arg1	BuiltinTransExp
return	System

PrettyPrint() public method

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

ToString() public method

public ToString ( ) : string
return	string

Property Details

arg1 public_oe property

public BuiltinTransExp,Microsoft.Fast.AST arg1
return	BuiltinTransExp