コード例 #1
0
        public void AddAuthorityRule(RuleBuilder rule)
        {
            Term.Symbol authority_symbol = new Term.Symbol("authority");
            if (rule.Head.Ids.Count == 0 || !(rule.Head.Ids[0].Equals(authority_symbol)))
            {
                rule.Head.Ids.Insert(0, authority_symbol);
            }

            this.Rules.Add(rule.Convert(this.Symbols));
        }
コード例 #2
0
 public void AddRule(RuleBuilder rule)
 {
     this.rules.Add(rule.Convert(this.symbols));
 }