Lines Matching defs:svalBuilder
457 std::unique_ptr<SValBuilder> svalBuilder;
479 ASTContext &getContext() { return svalBuilder->getContext(); }
480 const ASTContext &getContext() const { return svalBuilder->getContext(); }
483 return svalBuilder->getBasicValueFactory();
487 return *svalBuilder;
491 return svalBuilder->getSymbolManager();
494 return svalBuilder->getSymbolManager();
500 return svalBuilder->getRegionManager();
503 return svalBuilder->getRegionManager();
695 *getStateManager().svalBuilder);