Class DegeneralizedBreakpointState
- java.lang.Object
-
- owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
-
public final class DegeneralizedBreakpointState extends Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static DegeneralizedBreakpointState
createSink()
boolean
equals(Object o)
GObligations
getObligations()
int
hashCode()
String
toString()
-
-
-
Method Detail
-
createSink
public static DegeneralizedBreakpointState createSink()
-
getObligations
public GObligations getObligations()
-
-