C# Class Microsoft.Fast.AST.BuiltinExp

Exibir arquivo 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_oe property

public int arity
return	int

domain public_oe property

public FastSort,Microsoft.Fast.AST domain
return	FastSort

func public_oe property

public FuncSymbol,Microsoft.Fast.AST func
return	FuncSymbol