public final class GObligationsJumpManager extends AbstractJumpManager<GObligations>
configuration, factory
Modifier and Type | Method | Description |
---|---|---|
static GObligationsJumpManager |
build(EquivalenceClass initialState,
com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> optimisations) |
|
protected java.util.Set<Jump<GObligations>> |
computeJumps(EquivalenceClass state) |
buildJump, createDisjunctionStream
public static GObligationsJumpManager build(EquivalenceClass initialState, com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> optimisations)
protected java.util.Set<Jump<GObligations>> computeJumps(EquivalenceClass state)
computeJumps
in class AbstractJumpManager<GObligations>