Commit 52075e7c authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] CLUnfolder: update class doc

parent e87c5451
...@@ -115,12 +115,10 @@ init_forward_unfolding(): ...@@ -115,12 +115,10 @@ init_forward_unfolding():
PS: __variant_constraints si already initialized for the first step PS: __variant_constraints si already initialized for the first step
The following functions use the following methods to decompile textual The following functions decompile textual properties or events and code them
properties or events (__compile_property(), __compile_event()) and to into DIMACS clauses constraints via __code_clause().
code them into DIMACS clauses constraints (__code_clause()). __code_clause() is susceptible to add new auxiliary numerical variables
during this process if a variable is not found in __var_code_table and in
__code_clause() is susceptible to add new auxiliary numeric variables
during this process if a variable is not found in __var_code_table or in
__aux_code_table. __aux_code_table.
- __init_initial_constraint_0, __init_final_constraint_0, __init_invariant_constraint_0 - __init_initial_constraint_0, __init_final_constraint_0, __init_invariant_constraint_0
...@@ -199,6 +197,17 @@ class CLUnfolder(object): ...@@ -199,6 +197,17 @@ class CLUnfolder(object):
- state vector: list of DIMACS code of original (not shifted) variables - state vector: list of DIMACS code of original (not shifted) variables
corresponding to a step. corresponding to a step.
- trajectory: list of state_vectors - 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 initialised
from the query attributes.
:param dynamical_system: dynamical system in clause constraint form
:type dynamical_system: <CLDynSys>
""" """
def __init__(self, dynamic_system, debug=False): def __init__(self, dynamic_system, debug=False):
......
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