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