From 0a2a7e0397afbb857c371741628133d43e73807b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Miguel=20Horcas?= Date: Fri, 25 Oct 2024 20:35:06 +0200 Subject: [PATCH] Transform only logical constraints --- .../metamodels/pysat_metamodel/transformations/fm_to_pysat.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py b/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py index 2a259cc..ebe8b64 100644 --- a/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py +++ b/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py @@ -168,7 +168,7 @@ def transform(self) -> PySATModel: for relation in self.source_model.get_relations(): self.add_relation(relation) - for constraint in self.source_model.get_constraints(): + for constraint in self.source_model.get_logical_constraints(): self.add_constraint(constraint) return self.destination_model