Searched refs:getConstraintMap (Results 1 – 3 of 3) sorted by relevance
405 ConstraintMap getConstraintMap(ProgramStateRef State);
3465 ConstraintMap NewCs = getConstraintMap(N->getState()); in addConstraints()
2259 ConstraintMap ento::getConstraintMap(ProgramStateRef State) { in getConstraintMap() function in ento