Microsoft.Fast.TreeClassDef.TreeClassDef C# (CSharp) Méthode

        public TreeClassDef(RankedAlphabetSort ras, Z3Provider z3p)
        {
            this.alphabet = ras;
            this.z3p = z3p;
            this.trees = new Dictionary<string, IEnumerable<Expr>>();
            this.acceptors = new Dictionary<string, TreeTransducer>();
            this.transducers = new Dictionary<string, TreeTransducer>();
        }