Merge pull request #121 from ML-KULeuven/bugfix_negation_name

Add name to negation node if label_all is defined.

Author: rmanhaeve

problog/eval_nodes.py

@@ -727,7 +727,11 @@ def new_result(self, result, node=NODE_TRUE, source=None, is_last=False):
     def complete(self, source=None):
         actions = []
         if self.nodes:
-            or_node = self.target.add_not(self.target.add_or(self.nodes, name=None))
+            if self.engine.label_all:
+                name = Term('aux_{}'.format(self.identifier))
+            else:
+                name = None
+            or_node = self.target.add_not(self.target.add_or(self.nodes, name=name))
             if or_node != NODE_FALSE:
                 actions += self.notifyResult(self.context, or_node)
         else:

problog/version.py

@@ -1 +1 @@
-version = '2.2.4'
+version = '2.2.5'