From a94ecc078fcf8e0ef7340037fe9ecd078c8d36df Mon Sep 17 00:00:00 2001
From: VIGNET Pierre <pierre.vignet@irisa.fr>
Date: Thu, 19 Dec 2019 22:58:59 +0100
Subject: [PATCH] [lib] MCLAnalyser: Do not check query in the unfolder: safe
zone
---
.../cadbiom/models/clause_constraints/mcl/MCLAnalyser.py | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py b/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
index 8f7be17..e0bee74 100644
--- a/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
+++ b/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
@@ -168,7 +168,7 @@ sq_solutions(query, max_step, max_sol, vvars)
Return <list <RawSolution>>
This function calls:
- self.unfolder.init_with_query(query)
+ self.unfolder.init_with_query(query, check_query=False)
self.unfolder.squery_solve(vvars, max_step, max_sol)
@@ -490,7 +490,7 @@ class MCLAnalyser(object):
# Following properties are used from the query:
# start_prop, dim_start, inv_prop, dim_inv, final_prop, dim_final,
# variant_prop, dim_variant_prop, steps_before_check
- self.unfolder.init_with_query(query)
+ self.unfolder.init_with_query(query, check_query=False)
# go
return self.unfolder.squery_is_satisfied(max_step)
@@ -557,7 +557,7 @@ class MCLAnalyser(object):
# Following properties are used from the query:
# start_prop, dim_start, inv_prop, dim_inv, final_prop, dim_final,
# variant_prop, dim_variant_prop, steps_before_check
- self.unfolder.init_with_query(query)
+ self.unfolder.init_with_query(query, check_query=False)
# go
return self.unfolder.squery_solve(vvars, max_step, max_sol)
--
GitLab