Member predicate Make::PolynomialBackTrackingTerm::isAtEndLine
Holds if all non-empty successors to the polynomial backtracking term matches the end of the line.
predicate isAtEndLine()
Holds if all non-empty successors to the polynomial backtracking term matches the end of the line.
predicate isAtEndLine()