Searched defs:getBasicVals (Results 1 – 4 of 4) sorted by relevance
78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals() function
502 BasicValueFactory &getBasicVals() { in getBasicVals() function787 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function
393 BasicValueFactory &getBasicVals() { in getBasicVals() function
544 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals() function