C# Class Microsoft.Fast.TreeClassDef

Méthodes publiques

Méthode	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

Méthode	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
Résultat	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
Résultat	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
Résultat	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
Résultat	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
Résultat	Microsoft.Z3.Expr

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

public TreeClassDef ( RankedAlphabetSort ras, Z3Provider z3p ) : System
ras	RankedAlphabetSort
z3p	Z3Provider
Résultat	System

public Dictionary acceptors
Résultat	TreeTransducer>.Dictionary

public RankedAlphabetSort,Microsoft.Fast alphabet
Résultat	RankedAlphabetSort

public Dictionary transducers
Résultat	TreeTransducer>.Dictionary

public Dictionary> trees
Résultat	IEnumerable>.Dictionary

public Z3Provider z3p
Résultat	Z3Provider