Class GObligationsJumpManager
- java.lang.Object
-
- owl.translations.ltl2ldba.AbstractJumpManager<GObligations>
-
- owl.translations.ltl2ldba.breakpoint.GObligationsJumpManager
-
public final class GObligationsJumpManager extends AbstractJumpManager<GObligations>
-
-
Field Summary
-
Fields inherited from class owl.translations.ltl2ldba.AbstractJumpManager
blockingModalOperators, configuration, factory
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static GObligationsJumpManager
build(Formula formula, EquivalenceClassFactory factory, Set<LTL2LDBAFunction.Configuration> optimisations)
protected Set<Jump<GObligations>>
computeJumps(EquivalenceClass state)
-
Methods inherited from class owl.translations.ltl2ldba.AbstractJumpManager
buildJump, createDisjunctionStream
-
-
-
-
Method Detail
-
build
public static GObligationsJumpManager build(Formula formula, EquivalenceClassFactory factory, Set<LTL2LDBAFunction.Configuration> optimisations)
-
computeJumps
protected Set<Jump<GObligations>> computeJumps(EquivalenceClass state)
- Specified by:
computeJumps
in classAbstractJumpManager<GObligations>
-
-