Commit 2343f2e0 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] MCLQuery: Add variant_prop arg in the constructor

parent e383298a
...@@ -99,11 +99,9 @@ class MCLSimpleQuery(object): ...@@ -99,11 +99,9 @@ class MCLSimpleQuery(object):
""" """
def __init__(self, start_prop, inv_prop, final_prop): def __init__(self, start_prop, inv_prop, final_prop, variant_prop=list()):
""" """
@param start_prop: init property - None is allowed .. seealso: The class docstring.
@param inv_prop: invariant property - None allowed
@param final_prop: final property - None is allowed
""" """
if LOGGER.getEffectiveLevel() == DEBUG: if LOGGER.getEffectiveLevel() == DEBUG:
LOGGER.debug( LOGGER.debug(
...@@ -115,10 +113,10 @@ class MCLSimpleQuery(object): ...@@ -115,10 +113,10 @@ class MCLSimpleQuery(object):
+ str(final_prop) + str(final_prop)
) )
# Strings forms of constraints # Strings forms of constraints
self.start_prop = start_prop # logical formula or None self.start_prop = start_prop # logical formula or None
self.inv_prop = inv_prop # logical formula or None self.inv_prop = inv_prop # logical formula or None
self.final_prop = final_prop # logical formula or None self.final_prop = final_prop # logical formula or None
self.variant_prop = [] # list<logical formula> self.variant_prop = variant_prop # list<logical formula>
# DIMACS forms of the preceding attributes # DIMACS forms of the preceding attributes
self.dim_start = [] # list<DClause> self.dim_start = [] # list<DClause>
......
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