Class DegeneralizedAcceptingComponentBuilder
- java.lang.Object
-
- owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder<DegeneralizedBreakpointState,BuchiAcceptance,GObligations>
-
- owl.translations.ltl2ldba.breakpoint.DegeneralizedAcceptingComponentBuilder
-
- All Implemented Interfaces:
MutableAutomatonBuilder<Jump<GObligations>,DegeneralizedBreakpointState,BuchiAcceptance>
public final class DegeneralizedAcceptingComponentBuilder extends AbstractAcceptingComponentBuilder<DegeneralizedBreakpointState,BuchiAcceptance,GObligations>
-
-
Field Summary
-
Fields inherited from class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
anchors, factories, factory
-
-
Constructor Summary
Constructors Constructor Description DegeneralizedAcceptingComponentBuilder(Factories factories, Set<LTL2LDBAFunction.Configuration> optimisations)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description MutableAutomaton<DegeneralizedBreakpointState,BuchiAcceptance>
build()
DegeneralizedBreakpointState
createState(EquivalenceClass remainder, GObligations obligations)
-
Methods inherited from class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
add
-
-
-
-
Constructor Detail
-
DegeneralizedAcceptingComponentBuilder
public DegeneralizedAcceptingComponentBuilder(Factories factories, Set<LTL2LDBAFunction.Configuration> optimisations)
-
-
Method Detail
-
build
public MutableAutomaton<DegeneralizedBreakpointState,BuchiAcceptance> build()
-
createState
public DegeneralizedBreakpointState createState(EquivalenceClass remainder, GObligations obligations)
- Specified by:
createState
in classAbstractAcceptingComponentBuilder<DegeneralizedBreakpointState,BuchiAcceptance,GObligations>
-
-