FGObligationsJumpManager
, GObligationsJumpManager
public abstract class AbstractJumpManager<X extends RecurringObligation>
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
protected com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> |
configuration |
|
protected EquivalenceClassFactory |
factory |
Constructor | Description |
---|---|
AbstractJumpManager(com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> configuration,
EquivalenceClassFactory factory) |
Modifier and Type | Method | Description |
---|---|---|
protected Jump<X> |
buildJump(EquivalenceClass remainder,
X obligations) |
|
protected abstract java.util.Set<Jump<X>> |
computeJumps(EquivalenceClass state) |
|
protected static <X> java.util.stream.Stream<X> |
createDisjunctionStream(EquivalenceClass state,
java.util.function.Function<EquivalenceClass,java.util.stream.Stream<X>> streamBuilder) |
protected final EquivalenceClassFactory factory
protected final com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> configuration
public AbstractJumpManager(com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> configuration, EquivalenceClassFactory factory)
protected static <X> java.util.stream.Stream<X> createDisjunctionStream(EquivalenceClass state, java.util.function.Function<EquivalenceClass,java.util.stream.Stream<X>> streamBuilder)
protected Jump<X> buildJump(EquivalenceClass remainder, X obligations)
protected abstract java.util.Set<Jump<X>> computeJumps(EquivalenceClass state)