Commit a77fad40 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] Fix typos

parent ad09a94a
...@@ -726,7 +726,6 @@ class MCLAnalyser(object): ...@@ -726,7 +726,6 @@ class MCLAnalyser(object):
# Equivalent of wrapping each previous solution with a logical AND: # Equivalent of wrapping each previous solution with a logical AND:
# AND(not(frontier places)) # AND(not(frontier places))
query.dim_start = list(forbidden_frontier_values) query.dim_start = list(forbidden_frontier_values)
print("query variant prop", query.variant_prop)
#### redondance partielle avec next_mac() #### redondance partielle avec next_mac()
# Solutions differ on frontiers: Search only 2 different solutions # Solutions differ on frontiers: Search only 2 different solutions
......
...@@ -1078,6 +1078,7 @@ def test_init_forward_unfolding_solution_5(feed_mclanalyser): ...@@ -1078,6 +1078,7 @@ def test_init_forward_unfolding_solution_5(feed_mclanalyser):
############################################################################ ############################################################################
## DIMACS variant properties: D E G I ## DIMACS variant properties: D E G I
# New query
query = MCLSimpleQuery(None, None, None) query = MCLSimpleQuery(None, None, None)
dimacs_variant_expected = [[[18], [16], [17]], [[19], [21]], [[22]]] dimacs_variant_expected = [[[18], [16], [17]], [[19], [21]], [[22]]]
query.dim_variant = dimacs_variant_expected query.dim_variant = dimacs_variant_expected
...@@ -1103,6 +1104,10 @@ def test_init_forward_unfolding_solution_5(feed_mclanalyser): ...@@ -1103,6 +1104,10 @@ def test_init_forward_unfolding_solution_5(feed_mclanalyser):
def test_init_forward_unfolding_variant_constraints(feed_mclanalyser): def test_init_forward_unfolding_variant_constraints(feed_mclanalyser):
"""Test variant_prop and dim_variant attributes of a query """Test variant_prop and dim_variant attributes of a query
.. note:: No solution is tested here. If you do that, do not forget to
reset dim_start attribute of the query before reusing with MCLA.mac_search().
This attr contains the banished previous solutions.
.. todo:: This test contains some stupid results from the generator of .. todo:: This test contains some stupid results from the generator of
clauses. clauses.
......
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