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