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

[lib] CLU: add warnings about not using check_query flag

parent d8f10936
......@@ -452,7 +452,7 @@ class CLUnfolder(object):
S'inspirer de __code_clause()
.. TODO:: We do not test if the textual events of query.variant_prop
involves events that are not in the model...
involve events that are not in the model...
Called by:
......@@ -470,6 +470,9 @@ class CLUnfolder(object):
# The system will be modified; Auxiliary clauses will be added.
# Do not reload cached constraints. Cf init_forward_unfolding()
self.__include_aux_clauses_changed = True
## TODO: à repasser dans init_with_query ?
# Ne pas faire ce test systématiquement implique que les propriétés
# texte ne sont jamais modifiées entre chaque requete.
# Check literals
if query.dim_inv:
......@@ -524,6 +527,10 @@ class CLUnfolder(object):
.. warning:: This option should be disable for performance reasons;
or if you know what you are doing.
You will assume in particular that:
- textual properties are not modified
- values of literals in DIMACS properties are already described
in the model (new literals are not allowed).
:type query: <MCLSimpleQuery>
:type check_query: <boolean>
Supports Markdown
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