• Accueil
• Microsoft
• Fast
• FastTransducerInstance

C# Class Microsoft.Fast.FastTransducerInstance

Afficher le fichier Open project: AutomataDotNet/Automata Class Usage Examples

Méthodes publiques

Свойство	Type	Description
alphabets	RankedAlphabetSort>.Dictionary
consts	List
enums	List
functions	List
queryRes	List
treeDefinitions	TreeClassDef>.Dictionary

Méthodes publiques

Méthode	Description
DisposeZ3P ( ) : void	Dispose the context
MkFastTransducerInstance ( FastPgm fpg ) : FastTransducerInstance	Generate a FastTransducerInstance from a Fast program
MkFastTransducerInstance ( FastPgm fpg, TextWriter tw, LogLevel lv ) : FastTransducerInstance	Generate a FastTransducerInstance from a Fast program
ToFast ( StringBuilder sb ) : void	Generates the corresponding Fast code

Private Methods

Méthode	Description
FastTransducerInstance ( ) : System
FastTransducerInstance ( TextWriter tw ) : System
GenerateAlphabetSorts ( List defs, FastTransducerInstance fti ) : bool
GenerateConst ( ConstDef def, FastTransducerInstance fti ) : bool
GenerateConstsAndFunctions ( List constFunDefs, FastTransducerInstance fti ) : bool
GenerateDefinitions ( Def>.Dictionary defs, FastTransducerInstance fti ) : bool
GenerateEnumSort ( EnumDef def, FastTransducerInstance fti ) : bool
GenerateEnumSorts ( List enumDefs, FastTransducerInstance fti ) : bool
GenerateFunction ( FunctionDef def, FastTransducerInstance fti ) : bool
GenerateLanguagesAndTransductions ( Def>.Dictionary defs, FastTransducerInstance fti ) : bool
GenerateQueryResult ( QueryDef query, Def>.Dictionary defs, FastTransducerInstance fti ) : bool
GenerateQueryResults ( List queryDefs, Def>.Dictionary defs, FastTransducerInstance fti ) : bool
GenerateTreeClass ( Def>.Dictionary defs, FastTransducerInstance fti, RankedAlphabetSort ras ) : bool
GenerateTreeClasses ( Def>.Dictionary defs, FastTransducerInstance fti ) : bool

Method Details

Property Details