/// <summary>
 ///     Adds all facts from another knowledge base
 /// </summary>
 /// <param name="kb"> The other knowledge base </param>
 internal void AddKnowledgeBase(KnowledgeBase <T_Identifier> kb)
 {
     foreach (var fact in kb._facts)
     {
         AddFact(fact);
     }
 }
Example #2
0
 internal void AddKnowledgeBase(KnowledgeBase <T_Identifier> kb)
 {
     foreach (BoolExpr <T_Identifier> fact in kb._facts)
     {
         this.AddFact(fact);
     }
 }