From 6a7cbcdb6d48f6b261ece498fd7c202e08bc09f8 Mon Sep 17 00:00:00 2001
From: VIGNET Pierre <pierre.vignet@irisa.fr>
Date: Wed, 20 Nov 2019 21:17:14 +0100
Subject: [PATCH] [lib] Remove doc
---
command_line/cadbiom_cmd/solution_search.py | 10 ----------
1 file changed, 10 deletions(-)
diff --git a/command_line/cadbiom_cmd/solution_search.py b/command_line/cadbiom_cmd/solution_search.py
index d40c3de..0d1d756 100644
--- a/command_line/cadbiom_cmd/solution_search.py
+++ b/command_line/cadbiom_cmd/solution_search.py
@@ -294,16 +294,6 @@ def find_macs(mcla,
.. TODO:: Handle all_macs flag like the old method with find_mac()
Not used very often but can be usefull sometimes...
- __mac_exhaustive_search, on cherche d´abord des solutions non minimales
- (lfsol = self.__sq_dimacs_frontier_solutions(query, nb_step, 2))
- pour ensuite les élaguer en supprimant les places non essentielles à la
- satisfiabilité de la propriété
- (current_mac = self.__prune_frontier_solution(small_sol, query, nb_step)).
- Ce processus récursif est le plus "time-consuming" car nous n´avons pas
- le controle sur les solutions fournies par SAT et les solutions non minimales
- sont en général très éloignées de la solution minimale, c.-à-d. contiennent
- beaucoup plus de places (ces places excédentaires sont dispensables).
-
:param limit: Limit the number of solutions.
:param current_nb_sols: The current number of solutions already found.
This number is used to limit the number of searched solutions.
--
GitLab