Microsoft.Fast.AST.BuiltinTransExp.BTECheckSorts C# (CSharp) 메소드

BuiltinTransExp 1 문서 파일 보기 프로젝트 열기: AutomataDotNet/Automata

BTECheckSorts() 추상적인 개인적인 메소드

abstract private BTECheckSorts ( Def>.Dictionary defs, FastPgm pgm ) : void
defs Def>.Dictionary
pgm FastPgm
리턴 void 
        internal abstract void BTECheckSorts(Dictionary<string, Def> defs, FastPgm pgm);
BuiltinTransExp
BTECheckSorts
BuiltinTransExp