• 홈
• Microsoft
• Fast
• FastTransducerInstance

C# 클래스 Microsoft.Fast.FastTransducerInstance

파일 보기 프로젝트 열기: AutomataDotNet/Automata 1 사용 예제들

공개 프로퍼티들

프로퍼티	타입	설명
alphabets	RankedAlphabetSort>.Dictionary
consts	List
enums	List
functions	List
queryRes	List
treeDefinitions	TreeClassDef>.Dictionary

공개 메소드들

메소드	설명
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

비공개 메소드들

메소드	설명
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

메소드 상세

프로퍼티 상세