From 5ae502cd60a1b2d968a6455c915a69eddd291ff6 Mon Sep 17 00:00:00 2001 From: AdamZsofi Date: Sun, 18 Sep 2022 23:26:47 +0200 Subject: [PATCH] Generated hash code for xsts state --- .../hu/bme/mit/theta/xsts/analysis/XstsState.java | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/XstsState.java b/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/XstsState.java index acf2d2f52e..5f2f1536bb 100644 --- a/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/XstsState.java +++ b/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/XstsState.java @@ -5,6 +5,8 @@ import hu.bme.mit.theta.core.type.Expr; import hu.bme.mit.theta.core.type.booltype.BoolType; +import java.util.Objects; + public final class XstsState implements ExprState { private final S state; @@ -47,4 +49,17 @@ public boolean isBottom() { public String toString() { return Utils.lispStringBuilder(getClass().getSimpleName()).aligned().add(initialized ? "post_init" : "pre_init").add(lastActionWasEnv ? "last_env" : "last_internal").body().add(state).toString(); } + + @Override + public boolean equals(Object o) { + if (this == o) return true; + if (o == null || getClass() != o.getClass()) return false; + XstsState xstsState = (XstsState) o; + return lastActionWasEnv == xstsState.lastActionWasEnv && initialized == xstsState.initialized && state.equals(xstsState.state); + } + + @Override + public int hashCode() { + return Objects.hash(state, lastActionWasEnv, initialized); + } }