No stop reset QNRX
Q_NO_RESET | stop reset | stop_reset | stop_reset | computed
Logic
No stop reset == trueEdge-
Samples0
Definition
Original stop remains unchanged.
Logic Triples
| Predicate | Left | Op | Right | Formula |
|---|---|---|---|---|
| No stop resetOriginal stop remains unchanged. | No stop reset | == | true | q_no_reset[t] == True |
Strategies Using Atom
| Strategy | Family | Edge | Signals |
|---|