Searched defs:getAssumed (Results 1 – 3 of 3) sorted by relevance
998 TupleDecIntegerRangeState &getAssumed() { return *this; } in getAssumed() function999 const TupleDecIntegerRangeState &getAssumed() const { return *this; } in getAssumed() function
778 KernelInfoState &getAssumed() { return *this; } in getAssumed() function779 const KernelInfoState &getAssumed() const { return *this; } in getAssumed() function
806 const State &getAssumed() const { return *this; } in getAssumed() function