Searched defs:isUnderconstrained (Results 1 – 2 of 2) sorted by relevance
72 bool isUnderconstrained() const { in isUnderconstrained() function
1540 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const { in isUnderconstrained() function in TrackConstraintBRVisitor