MutableAutomatonBuilder<Jump<FGObligations>,GeneralizedBreakpointFreeState,GeneralizedBuchiAcceptance>
public final class GeneralizedAcceptingComponentBuilder extends AbstractAcceptingComponentBuilder<GeneralizedBreakpointFreeState,GeneralizedBuchiAcceptance,FGObligations>
anchors, factories, factory
Constructor | Description |
---|---|
GeneralizedAcceptingComponentBuilder(Factories factories,
com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> optimisations) |
Modifier and Type | Method | Description |
---|---|---|
MutableAutomaton<GeneralizedBreakpointFreeState,GeneralizedBuchiAcceptance> |
build() |
|
protected GeneralizedBreakpointFreeState |
createState(EquivalenceClass remainder,
FGObligations obligations) |
add
public GeneralizedAcceptingComponentBuilder(Factories factories, com.google.common.collect.ImmutableSet<LTL2LDBAFunction.Configuration> optimisations)
public MutableAutomaton<GeneralizedBreakpointFreeState,GeneralizedBuchiAcceptance> build()
protected GeneralizedBreakpointFreeState createState(EquivalenceClass remainder, FGObligations obligations)