Class FGObligationsJumpManager
- java.lang.Object
-
- owl.translations.ltl2ldba.AbstractJumpManager<FGObligations>
-
- owl.translations.ltl2ldba.breakpointfree.FGObligationsJumpManager
-
public final class FGObligationsJumpManager extends AbstractJumpManager<FGObligations>
-
-
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 FGObligationsJumpManager
build(Formula formula, EquivalenceClassFactory factory, Set<LTL2LDBAFunction.Configuration> optimisations)
protected Set<Jump<FGObligations>>
computeJumps(EquivalenceClass state)
-
Methods inherited from class owl.translations.ltl2ldba.AbstractJumpManager
buildJump, createDisjunctionStream
-
-
-
-
Method Detail
-
build
public static FGObligationsJumpManager build(Formula formula, EquivalenceClassFactory factory, Set<LTL2LDBAFunction.Configuration> optimisations)
-
computeJumps
protected Set<Jump<FGObligations>> computeJumps(EquivalenceClass state)
- Specified by:
computeJumps
in classAbstractJumpManager<FGObligations>
-
-