Searched defs:getBasicVals (Results 1 – 4 of 4) sorted by relevance
82 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals() function
296 BasicValueFactory& getBasicVals() { in getBasicVals() function
482 BasicValueFactory &getBasicVals() { in getBasicVals() function722 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function
556 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals() function