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