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