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