public TrsReductionRuleValidator(Dictionary <string, bool> acTerms)
{
termValidator = new TrsTermBaseValidator(acTerms);
}
private Dictionary <string, bool> isAcTerm = new Dictionary <string, bool>(); // A term may not be both AC and non-AC at the same time
public TrsProgramBlockValidator()
{
termValidator = new TrsTermBaseValidator(isAcTerm);
reductionRuleValidator = new TrsReductionRuleValidator(isAcTerm);
}
