AnnotatedState
, BinaryModalOperator
, BooleanConstant
, DegeneralizedBreakpointFreeState
, DegeneralizedBreakpointState
, GameViews.Node
, GeneralizedBreakpointFreeState
, GeneralizedBreakpointState
, GObligations
, Literal
, ProductControllerSynthesis.State
, PropositionalFormula
, UnaryModalOperator
@Immutable
public abstract class ImmutableObject
extends java.lang.Object
Constructor | Description |
---|---|
ImmutableObject() |
Modifier and Type | Method | Description |
---|---|---|
boolean |
equals(java.lang.Object o) |
|
protected abstract boolean |
equals2(ImmutableObject o) |
|
int |
hashCode() |
|
protected abstract int |
hashCodeOnce() |
public final boolean equals(java.lang.Object o)
equals
in class java.lang.Object
protected abstract boolean equals2(ImmutableObject o)
public final int hashCode()
hashCode
in class java.lang.Object
protected abstract int hashCodeOnce()