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