C# Class Microsoft.Fast.AST.PreimageExp

Inheritance: BuiltinLangExp

显示文件 Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
arg1	BuiltinTransExp
arg2	BuiltinLangExp

Public Methods

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

Private Methods

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

Method Details

PreimageExp() public method

public PreimageExp ( FastToken func, BuiltinTransExp arg1, BuiltinLangExp arg2 ) : System
func	FastToken
arg1	BuiltinTransExp
arg2	BuiltinLangExp
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

arg2 public_oe property

public BuiltinLangExp,Microsoft.Fast.AST arg2
return	BuiltinLangExp