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