Commit 0db639e4 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] MCLQuery: remove set_steps_before_reach() setter

parent ddca545f
......@@ -437,7 +437,7 @@ def detect_model_type(mclanalyser, filepath):
# if os.path.isfile(mac_step_file):
# min_step = int(get_last_line(mac_step_file))
# print("min_step opti:", min_step)
# query.set_steps_before_reach(min_step-1)
# query.steps_before_reach = min_step - 1
#
#
# reacheable = mcla.sq_is_satisfiable(query, steps) #important step
......@@ -445,7 +445,7 @@ def detect_model_type(mclanalyser, filepath):
# min_step = mcla.unfolder.get_current_step()
# print("min_step:", min_step)
# # Set max step authorized
# query.set_steps_before_reach(min_step-1)
# query.steps_before_reach = min_step - 1
#
# # FIND NEXT MAC
# next_mac_object = mcla.next_mac(query, min_step) #important step
......
......@@ -277,12 +277,6 @@ class MCLSimpleQuery(object):
"""
self.dim_start = dim_start
def set_steps_before_reach(self, nb_steps):
"""
@param nb_steps: int - number of shifts before testing final prop
"""
self.steps_before_reach = nb_steps
def merge(self, query):
"""Return a new query which is a merge of two queries into one.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment