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

[lib] MCLQuery: add doc ex

parent 562804a1
......@@ -79,6 +79,8 @@ class MCLSimpleQuery(object):
:param dim_inv: invariant property in DIMACS form - optional
:param dim_final: final property in DIMACS form - optional
:param dim_variant: list of lists of dimacs clauses
[[[16], [16]], [[22], [22]]]
:param steps_before_check: Number of shifts before testing the
final property - optional
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