asp encoding: more predictable fresh identifiers

bnediction · Mar 26, 2024 · c9e30e3 · c9e30e3
1 parent 6fb47aa
commit c9e30e3
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/bonesis/asp_encoding.py b/bonesis/asp_encoding.py
@@ -79,7 +79,7 @@ def __init__(self, domain, data, manager, **constants):
         self.constants.update(constants)
         self.ba = boolean.BooleanAlgebra()
         self._silenced = {}
-        self.__fresh_id = -1
+        self.__fresh_id = {}
 
     def solver(self, *args, ground=True, settings={}, **kwargs):
         arguments = []
@@ -140,8 +140,8 @@ def push_file(self, filename):
             self.prefix += fp.read()
 
     def fresh_atom(self, qualifier=""):
-        self.__fresh_id += 1
-        return clingo.Function(f"__bo{qualifier}{self.__fresh_id}")
+        i = self.__fresh_id[qualifier] = self.__fresh_id.get(qualifier,-1) + 1
+        return clingo.Function(f"__bo{qualifier}{i}")
 
     def encode_domain(self, domain):
         if hasattr(domain, "bonesis_encoder"):