internal override BranchingRule <TERM> ReplaceAllStates1(int q, TERM r) { var cases1 = Array.ConvertAll(cases, c => new KeyValuePair <TERM, BranchingRule <TERM> >(c.Key, c.Value.ReplaceAllStates1(q, r))); var defaultcase1 = defaultcase.ReplaceAllStates1(q, r); var rule = new SwitchRule <TERM>(input, defaultcase1, cases1); return(rule); }
internal override BranchingRule <TERM> ReplaceAllStates1(int q, TERM r) { return(new IteRule <TERM>(this.condition, trueCase.ReplaceAllStates1(q, r), falseCase.ReplaceAllStates1(q, r))); }