C# Class Microsoft.Fast.AST.RestrictionOutExp

Inheritance: BuiltinTransExp

Show file Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
arg1	BuiltinTransExp
arg2	BuiltinLangExp

Public Methods

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

Private Methods

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

Method Details

PrettyPrint() public method

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

RestrictionOutExp() public method

public RestrictionOutExp ( FastToken func, BuiltinTransExp arg1, BuiltinLangExp arg2 ) : System
func	FastToken
arg1	BuiltinTransExp
arg2	BuiltinLangExp
return	System

ToString() public method

public ToString ( ) : string
return	string

Property Details

arg1 public property

public BuiltinTransExp,Microsoft.Fast.AST arg1
return	BuiltinTransExp

arg2 public property

public BuiltinLangExp,Microsoft.Fast.AST arg2
return	BuiltinLangExp