Searched refs:ConstraintMap (Results 1 – 4 of 4) sorted by relevance
54 : Constraints(ConstraintMap::Factory().getEmptyMap()), Result(Result), in Z3CrosscheckVisitor()121 ConstraintMap NewCs = getConstraintMap(N->getState()); in addConstraints()122 ConstraintMap::Factory &CF = N->getState()->get_context<ConstraintMap>(); in addConstraints()
2280 ConstraintMap ento::getConstraintMap(ProgramStateRef State) { in getConstraintMap()2281 ConstraintMap::Factory &F = State->get_context<ConstraintMap>(); in getConstraintMap()2282 ConstraintMap Result = F.getEmptyMap(); in getConstraintMap()
404 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>; variable405 ConstraintMap getConstraintMap(ProgramStateRef State);500 REGISTER_FACTORY_WITH_PROGRAMSTATE(ConstraintMap)
48 ConstraintMap Constraints;