Searched defs:getBasicVals (Results 1 – 4 of 4) sorted by relevance
103 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals() function
491 BasicValueFactory &getBasicVals() { in getBasicVals() function756 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function
314 BasicValueFactory& getBasicVals() { in getBasicVals() function
471 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals() function