support non-string nodes when parsing configurations from ASP facts

bnediction · Apr 13, 2024 · 1b8be11 · 1b8be11
1 parent a3499d5
commit 1b8be11
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bonesis0/asp_encoding.py b/bonesis0/asp_encoding.py
@@ -185,7 +185,7 @@ def configurations_of_facts(fs, pred="cfg", keys="auto"):
         if arity != 3:
             continue
         cid, n, v = a.arguments
-        n = n.string
+        n = py_of_symbol(n)
         v = v.number
         cid = py_of_symbol(cid)
         if cid not in cfgs: