Searched defs:TupleDecIntegerRangeState (Results 1 – 1 of 1) sorted by relevance
966 struct TupleDecIntegerRangeState : public AbstractState { struct967 DecIntegerState<uint32_t> X, Y, Z;969 bool isValidState() const override { in isValidState()973 bool isAtFixpoint() const override { in isAtFixpoint()977 ChangeStatus indicateOptimisticFixpoint() override { in indicateOptimisticFixpoint()982 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint()987 TupleDecIntegerRangeState operator^=(const TupleDecIntegerRangeState &Other) { in operator ^=()994 bool operator==(const TupleDecIntegerRangeState &Other) const { in operator ==()998 TupleDecIntegerRangeState &getAssumed() { return *this; } in getAssumed()999 const TupleDecIntegerRangeState &getAssumed() const { return *this; } in getAssumed()