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