C# Class Microsoft.Fast.AST.BuiltinExp

Show file Open project: AutomataDotNet/Automata Class Usage Examples

Public Properties

Property	Type	Description
arity	int
domain	FastSort
func	FuncSymbol

Public Methods

Method	Description
BuiltinExp ( FastToken func, int arity ) : System
PrettyPrint ( StringBuilder sb ) : void

Method Details

BuiltinExp() public method

public BuiltinExp ( FastToken func, int arity ) : System
func	FastToken
arity	int
return	System

PrettyPrint() public abstract method

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

Property Details

arity public property

public int arity
return	int

domain public property

public FastSort,Microsoft.Fast.AST domain
return	FastSort

func public property

public FuncSymbol,Microsoft.Fast.AST func
return	FuncSymbol