@Override public boolean sameAs(Frame<ResourceValue> other_) { if (!super.sameAs(other_)) { return false; } ResourceValueFrame other = (ResourceValueFrame) other_; return this.status == other.status; }
@Override public boolean same(FrameType fact1, FrameType fact2) { return fact1.sameAs(fact2); }
@Override public boolean sameAs(Frame<IsNullValue> other) { if (!(other instanceof IsNullValueFrame)) { return false; } if (!super.sameAs(other)) { return false; } IsNullValueFrame o2 = (IsNullValueFrame) other; if (!Objects.equals(decision, o2.decision)) { return false; } if (trackValueNumbers && !Objects.equals(knownValueMap, o2.knownValueMap)) { return false; } return true; }
@Override public boolean sameAs(Frame<ValueNumber> other) { if(!super.sameAs(other)) { return false; } if (isTop() && other.isTop() || isBottom() && other.isBottom()) { return true; } ValueNumberFrame o = (ValueNumberFrame)other; if(availableLoadMap.size() != o.availableLoadMap.size()) { return false; } for(Entry<AvailableLoad, ValueNumber[]> entry : availableLoadMap.entrySet()) { ValueNumber[] oValue = o.availableLoadMap.get(entry.getKey()); if(!Arrays.equals(entry.getValue(), oValue)) { return false; } } return true; }
@Override public boolean sameAs(Frame<ResourceValue> other_) { if (!super.sameAs(other_)) { return false; } ResourceValueFrame other = (ResourceValueFrame) other_; return this.status == other.status; }
@Override public boolean same(FrameType fact1, FrameType fact2) { return fact1.sameAs(fact2); }
@Override public boolean sameAs(Frame<ValueNumber> other) { if(!super.sameAs(other)) { return false; } if (isTop() && other.isTop() || isBottom() && other.isBottom()) { return true; } ValueNumberFrame o = (ValueNumberFrame)other; if(availableLoadMap.size() != o.availableLoadMap.size()) { return false; } for(Entry<AvailableLoad, ValueNumber[]> entry : availableLoadMap.entrySet()) { ValueNumber[] oValue = o.availableLoadMap.get(entry.getKey()); if(!Arrays.equals(entry.getValue(), oValue)) { return false; } } return true; }
@Override public boolean sameAs(Frame<IsNullValue> other) { if (!(other instanceof IsNullValueFrame)) { return false; } if (!super.sameAs(other)) { return false; } IsNullValueFrame o2 = (IsNullValueFrame) other; if (!Util.nullSafeEquals(decision, o2.decision)) { return false; } if (trackValueNumbers && !Util.nullSafeEquals(knownValueMap, o2.knownValueMap)) { return false; } return true; }