Class DegeneralizedBreakpointFreeState
- java.lang.Object
-
- owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
-
public final class DegeneralizedBreakpointFreeState extends Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static DegeneralizedBreakpointFreeStatecreateSink()booleanequals(Object o)FGObligationsgetObligations()inthashCode()StringtoString()
-
-
-
Method Detail
-
createSink
public static DegeneralizedBreakpointFreeState createSink()
-
getObligations
public FGObligations getObligations()
-
-