avoid materializing isFeasibleTuple

This commit is contained in:
Erik Krogh Kristensen
2020-12-21 12:53:41 +01:00
parent cbad705029
commit e3ec67d5e3

View File

@@ -106,6 +106,7 @@ private module FeasibleTuple {
/**
* Holds if the tuple `(r1, r2, r3)` might be on path from a start-state to an end-state in the product automaton.
*/
pragma[inline]
predicate isFeasibleTuple(State r1, State r2, State r3) {
// The first element is either inside a repetition (or the start state itself)
isRepeitionOrStart(r1) and