Commit df85c526 authored by VIGNET Pierre's avatar VIGNET Pierre

[lib] CLU: fix typos

parent 3111de04
......@@ -208,13 +208,12 @@ class CLUnfolder(object):
corresponding to a step.
- trajectory: list of state_vectors
Some attributes (Please read the constructor comments for much more information):
__*_property: Logical formulas in text format from the current query.
__dimacs_*: Clauses in DIMACS format from the current query.
__*_constraints: CLUnfolder attributes for unfolding and shift;
initialized from the query attributes.
- __*_property: Logical formulas in text format from the current query.
- __dimacs_*: Clauses in DIMACS format from the current query.
- __*_constraints: CLUnfolder attributes for unfolding and shift;
initialized from the query attributes.
"""
......
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