Searched defs:isUnderconstrained (Results 1 – 6 of 6) sorted by relevance
57 bool isUnderconstrained() const { in isUnderconstrained() function
66 bool isUnderconstrained() const { return !Val.has_value(); } in isUnderconstrained() function
724 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const { in isUnderconstrained() function in TrackConstraintBRVisitor