public final class DegeneralizedBreakpointFreeState extends ImmutableObject
Modifier and Type | Method | Description |
---|---|---|
static DegeneralizedBreakpointFreeState |
createSink() |
|
protected boolean |
equals2(ImmutableObject o) |
|
FGObligations |
getObligations() |
|
protected int |
hashCodeOnce() |
|
java.lang.String |
toString() |
equals, hashCode
public static DegeneralizedBreakpointFreeState createSink()
protected boolean equals2(ImmutableObject o)
equals2
in class ImmutableObject
public FGObligations getObligations()
protected int hashCodeOnce()
hashCodeOnce
in class ImmutableObject
public java.lang.String toString()
toString
in class java.lang.Object