Class GeneralizedAcceptingComponentBuilder
- java.lang.Object
-
- owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder<GeneralizedBreakpointFreeState,GeneralizedBuchiAcceptance,FGObligations>
-
- owl.translations.ltl2ldba.breakpointfree.GeneralizedAcceptingComponentBuilder
-
- All Implemented Interfaces:
MutableAutomatonBuilder<Jump<FGObligations>,GeneralizedBreakpointFreeState,GeneralizedBuchiAcceptance>
public final class GeneralizedAcceptingComponentBuilder extends AbstractAcceptingComponentBuilder<GeneralizedBreakpointFreeState,GeneralizedBuchiAcceptance,FGObligations>
-
-
Field Summary
-
Fields inherited from class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
anchors, factories, factory
-
-
Constructor Summary
Constructors Constructor Description GeneralizedAcceptingComponentBuilder(Factories factories, Set<LTL2LDBAFunction.Configuration> optimisations)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description MutableAutomaton<GeneralizedBreakpointFreeState,GeneralizedBuchiAcceptance>
build()
protected GeneralizedBreakpointFreeState
createState(EquivalenceClass remainder, FGObligations obligations)
-
Methods inherited from class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
add
-
-
-
-
Constructor Detail
-
GeneralizedAcceptingComponentBuilder
public GeneralizedAcceptingComponentBuilder(Factories factories, Set<LTL2LDBAFunction.Configuration> optimisations)
-
-
Method Detail
-
build
public MutableAutomaton<GeneralizedBreakpointFreeState,GeneralizedBuchiAcceptance> build()
-
createState
protected GeneralizedBreakpointFreeState createState(EquivalenceClass remainder, FGObligations obligations)
-
-