C# Class Microsoft.Fast.AST.BuiltinTransExp

Inheritance: BuiltinExp

Show file Open project: AutomataDotNet/Automata Class Usage Examples

Public Properties

Property	Type	Description
kind	BuiltinTransExpKind
range	FastSort

Public Methods

Method	Description
BuiltinTransExp ( FastToken func, int arity, BuiltinTransExpKind kind ) : System

Private Methods

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

Method Details

BuiltinTransExp() public method

public BuiltinTransExp ( FastToken func, int arity, BuiltinTransExpKind kind ) : System
func	FastToken
arity	int
kind	BuiltinTransExpKind
return	System

Property Details

kind public property

public BuiltinTransExpKind kind
return	BuiltinTransExpKind

range public property

public FastSort,Microsoft.Fast.AST range
return	FastSort