C# Class Microsoft.Fast.TreeClassDef

Public Properties

Method	Description
AddAcceptor ( LangDefDef def, FastTransducerInstance fti, Def>.Dictionary defs ) : bool	Generate an acceptor rooted in def from a compound language definition and adds it to the list of acceptors
AddTransducer ( Def def, FastTransducerInstance fti, Def>.Dictionary defs ) : bool	Generate a transducer rooted in def from a transducer definition
AddTransducer ( TransDefDef def, FastTransducerInstance fti, Def>.Dictionary defs ) : bool	Generate a transducer rooted in def from a compound transducer definition and adds it to the list of transducers
AddTree ( TreeDef def, FastTransducerInstance fti, Def>.Dictionary defs ) : bool	Generate a tree from a tree definition
GenerateZ3ExprFromToExpr ( FExp expr, RankedAlphabetSort outputAlph, List children, int from, List reachedStates, List queue, Def>.Dictionary defs, FastTransducerInstance fti, List nextStatesL ) : Expr
GenerateZ3ExprFromWhereExpr ( FExp expr, FastTransducerInstance fti ) : Expr
TreeClassDef ( RankedAlphabetSort ras, Z3Provider z3p ) : System

Method	Description
GenerateZ3ToExpr ( AppExp expr, RankedAlphabetSort outputAlph, List children, int from, List reachedStates, List queue, Def>.Dictionary defs, FastTransducerInstance fti, List nextStatesL ) : Expr
GenerateZ3ToExpr ( RecordExp expr, RankedAlphabetSort outputAlph, FastTransducerInstance fti ) : Expr
GenerateZ3ToExpr ( Value expr, RankedAlphabetSort outputAlph ) : Expr
GenerateZ3ToExpr ( Variable expr, RankedAlphabetSort outputAlph, List children ) : Expr
GenerateZ3WhereExpr ( AppExp expr, FastTransducerInstance fti ) : Expr
GenerateZ3WhereExpr ( Value expr, FastTransducerInstance fti ) : Expr
GenerateZ3WhereExpr ( Variable expr, FastTransducerInstance fti ) : Expr

Generate an acceptor rooted in def from a compound language definition and adds it to the list of acceptors

public AddAcceptor ( LangDefDef def, FastTransducerInstance fti, Def>.Dictionary defs ) : bool
def	Microsoft.Fast.AST.LangDefDef
fti	FastTransducerInstance
defs	Def>.Dictionary
return	bool

Generate a transducer rooted in def from a transducer definition

public AddTransducer ( Def def, FastTransducerInstance fti, Def>.Dictionary defs ) : bool
def	Microsoft.Fast.AST.Def
fti	FastTransducerInstance
defs	Def>.Dictionary
return	bool

Generate a transducer rooted in def from a compound transducer definition and adds it to the list of transducers

public AddTransducer ( TransDefDef def, FastTransducerInstance fti, Def>.Dictionary defs ) : bool
def	Microsoft.Fast.AST.TransDefDef
fti	FastTransducerInstance
defs	Def>.Dictionary
return	bool

Generate a tree from a tree definition

public AddTree ( TreeDef def, FastTransducerInstance fti, Def>.Dictionary defs ) : bool
def	Microsoft.Fast.AST.TreeDef
fti	FastTransducerInstance
defs	Def>.Dictionary
return	bool

public GenerateZ3ExprFromToExpr ( FExp expr, RankedAlphabetSort outputAlph, List children, int from, List reachedStates, List queue, Def>.Dictionary defs, FastTransducerInstance fti, List nextStatesL ) : Expr
expr	Microsoft.Fast.AST.FExp
outputAlph	RankedAlphabetSort
children	List
from	int
reachedStates	List
queue	List
defs	Def>.Dictionary
fti	FastTransducerInstance
nextStatesL	List
return	Microsoft.Z3.Expr

public GenerateZ3ExprFromWhereExpr ( FExp expr, FastTransducerInstance fti ) : Expr
expr	Microsoft.Fast.AST.FExp
fti	FastTransducerInstance
return	Microsoft.Z3.Expr

public TreeClassDef ( RankedAlphabetSort ras, Z3Provider z3p ) : System
ras	RankedAlphabetSort
z3p	Z3Provider
return	System

public Dictionary acceptors
return	TreeTransducer>.Dictionary

public RankedAlphabetSort,Microsoft.Fast alphabet
return	RankedAlphabetSort

public Dictionary transducers
return	TreeTransducer>.Dictionary

public Dictionary> trees
return	IEnumerable>.Dictionary

public Z3Provider z3p
return	Z3Provider