MutableAutomatonBuilder<Jump<GObligations>,GeneralizedBreakpointState,GeneralizedBuchiAcceptance>
public final class GeneralizedAcceptingComponentBuilder extends AbstractAcceptingComponentBuilder<GeneralizedBreakpointState,GeneralizedBuchiAcceptance,GObligations>
anchors, factories, factory
Constructor | Description |
---|---|
GeneralizedAcceptingComponentBuilder(Factories factories,
com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> optimisations) |
Modifier and Type | Method | Description |
---|---|---|
MutableAutomaton<GeneralizedBreakpointState,GeneralizedBuchiAcceptance> |
build() |
|
GeneralizedBreakpointState |
createState(EquivalenceClass remainder,
GObligations obligations) |
|
Edge<GeneralizedBreakpointState> |
getSuccessor(GeneralizedBreakpointState state,
java.util.BitSet valuation) |
add
public GeneralizedAcceptingComponentBuilder(Factories factories, com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> optimisations)
public MutableAutomaton<GeneralizedBreakpointState,GeneralizedBuchiAcceptance> build()
public GeneralizedBreakpointState createState(EquivalenceClass remainder, GObligations obligations)
createState
in class AbstractAcceptingComponentBuilder<GeneralizedBreakpointState,GeneralizedBuchiAcceptance,GObligations>
@Nullable public Edge<GeneralizedBreakpointState> getSuccessor(GeneralizedBreakpointState state, java.util.BitSet valuation)