Microsoft.Fast.AST.BuiltinTransExp.BTECheckSorts C# (CSharp) Method

BuiltinTransExp Class Documentation Show file Open project: AutomataDotNet/Automata

BTECheckSorts() abstract private method

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