Changeset 212

Timestamp:

04/04/14 10:47:54 (11 years ago)

Author:

adam

Message:

syntheticConjABRule(A,B) now properly collects entangled literals from each argument

File:

• experiments/frams/logic/data/scripts/synthetic_rules.inc (modified) (1 diff)

experiments/frams/logic/data/scripts/synthetic_rules.inc

@@ -197 +197 @@
         
         
-        result.add(deepCopyList(secondArg[1]));
+        result.add(deepCopyList(firstArg[1]));
         
         for(i = 0; i < secondArg[1].size; i++)