コード例 #1
0
 public TrsReductionRuleValidator(Dictionary <string, bool> acTerms)
 {
     termValidator = new TrsTermBaseValidator(acTerms);
 }
コード例 #2
0
        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);
        }