Method eq

ir/state_value.cpp:67–69

}

bool StateValue::eq(const StateValue &other) const {
  return value.eq(other.value) && non_poison.eq(other.non_poison);
}

set<expr> StateValue::vars() const {
  return expr::vars({ &value, &non_poison });