Searched refs:TupleDecIntegerRangeState (Results 1 – 1 of 1) sorted by relevance
966 struct TupleDecIntegerRangeState : public AbstractState { struct987 TupleDecIntegerRangeState operator^=(const TupleDecIntegerRangeState &Other) { in operator ^=() argument994 bool operator==(const TupleDecIntegerRangeState &Other) const { in operator ==() argument998 TupleDecIntegerRangeState &getAssumed() { return *this; } in getAssumed() argument999 const TupleDecIntegerRangeState &getAssumed() const { return *this; } in getAssumed() argument1003 StateWrapper<TupleDecIntegerRangeState, AbstractAttribute, uint32_t>;1007 : public StateWrapper<TupleDecIntegerRangeState, AbstractAttribute> {1008 using Base = StateWrapper<TupleDecIntegerRangeState, AbstractAttribute>;