Searched refs:ConstraintMap (Results 1 – 4 of 4) sorted by relevance
44 : Constraints(ConstraintMap::Factory().getEmptyMap()), Result(Result), in Z3CrosscheckVisitor()95 ConstraintMap NewCs = getConstraintMap(N->getState()); in addConstraints()96 ConstraintMap::Factory &CF = N->getState()->get_context<ConstraintMap>(); in addConstraints()
2265 ConstraintMap ento::getConstraintMap(ProgramStateRef State) { in getConstraintMap()2266 ConstraintMap::Factory &F = State->get_context<ConstraintMap>(); in getConstraintMap()2267 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;