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)));
}
