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