MutableAutomatonBuilder<Jump<U>,S,T>
DegeneralizedAcceptingComponentBuilder
, DegeneralizedAcceptingComponentBuilder
, GeneralizedAcceptingComponentBuilder
, GeneralizedAcceptingComponentBuilder
public abstract class AbstractAcceptingComponentBuilder<S,T extends OmegaAcceptance,U extends RecurringObligation> extends java.lang.Object implements MutableAutomatonBuilder<Jump<U>,S,T>
Modifier and Type | Field | Description |
---|---|---|
protected java.util.List<S> |
anchors |
|
protected Factories |
factories |
|
protected EquivalenceClassStateFactory |
factory |
Modifier | Constructor | Description |
---|---|---|
protected |
AbstractAcceptingComponentBuilder(com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> optimisations,
Factories factories) |
Modifier and Type | Method | Description |
---|---|---|
S |
add(Jump<U> jump) |
|
protected abstract S |
createState(EquivalenceClass remainder,
U obligations) |
build
protected final java.util.List<S> anchors
protected final Factories factories
protected final EquivalenceClassStateFactory factory
protected AbstractAcceptingComponentBuilder(com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> optimisations, Factories factories)
@Nullable public S add(@Nullable Jump<U> jump)
add
in interface MutableAutomatonBuilder<S,T extends OmegaAcceptance,U extends RecurringObligation>
@Nullable protected abstract S createState(EquivalenceClass remainder, U obligations)