Searched refs:sat_langmap (Results 1 – 8 of 8) sorted by relevance
| /dports/math/spot/spot-2.10.2/tests/python/ |
| H A D | satmin.py | 32 min1 = spot.sat_minimize(aut, acc='Rabin 1', sat_langmap=True)
76 min2 = spot.sat_minimize(aut, acc='Streett 2', sat_langmap=True)
122 state_based=True, max_states=5, sat_langmap=True)
189 colored=True, sat_langmap=True)
|
| H A D | satmin.ipynb | 3529 "## `sat_langmap`\n",
3531 …"When using the default binary search approach, the `sat_langmap=True` can help refine the lower b…
3759 "Compare the next two logs, with and without `sat_langmap`."
4246 "# Binary search between 2 and 6 thanks to sat_langmap\n",
4247 "spot.sat_minimize(large, acc='co-Buchi', sat_langmap=True, state_based=True, display_log=True)"
|
| /dports/math/py-spot/spot-2.10.2/tests/python/ |
| H A D | satmin.py | 32 min1 = spot.sat_minimize(aut, acc='Rabin 1', sat_langmap=True)
76 min2 = spot.sat_minimize(aut, acc='Streett 2', sat_langmap=True)
122 state_based=True, max_states=5, sat_langmap=True)
189 colored=True, sat_langmap=True)
|
| H A D | satmin.ipynb | 3529 "## `sat_langmap`\n",
3531 …"When using the default binary search approach, the `sat_langmap=True` can help refine the lower b…
3759 "Compare the next two logs, with and without `sat_langmap`."
4246 "# Binary search between 2 and 6 thanks to sat_langmap\n",
4247 "spot.sat_minimize(large, acc='co-Buchi', sat_langmap=True, state_based=True, display_log=True)"
|
| /dports/math/spot/spot-2.10.2/spot/twaalgos/ |
| H A D | dtwasat.cc | 1389 bool sat_langmap = om.get("sat-langmap", 0); in sat_minimize() local
1513 (a, nacc, target_acc, state_based, sat_langmap, max_states, in sat_minimize()
1531 (a, state_based, sat_langmap, max_states); in sat_minimize()
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
| H A D | dtwasat.cc | 1389 bool sat_langmap = om.get("sat-langmap", 0); in sat_minimize() local
1513 (a, nacc, target_acc, state_based, sat_langmap, max_states, in sat_minimize()
1531 (a, state_based, sat_langmap, max_states); in sat_minimize()
|
| /dports/math/spot/spot-2.10.2/python/spot/ |
| H A D | __init__.py | 1250 max_states=0, sat_naive=False, sat_langmap=False, argument
1270 if sat_langmap:
|
| /dports/math/py-spot/spot-2.10.2/python/spot/ |
| H A D | __init__.py | 1250 max_states=0, sat_naive=False, sat_langmap=False, argument
1270 if sat_langmap:
|