java.util.function.Function<LabelledFormula,LimitDeterministicAutomaton<EquivalenceClass,S,B,C>>
public final class LTL2LDBAFunction<S,B extends GeneralizedBuchiAcceptance,C extends RecurringObligation> extends java.lang.Object implements java.util.function.Function<LabelledFormula,LimitDeterministicAutomaton<EquivalenceClass,S,B,C>>
Modifier and Type | Class | Description |
---|---|---|
static class |
LTL2LDBAFunction.Configuration |
public static java.util.function.Function<LabelledFormula,LimitDeterministicAutomaton<EquivalenceClass,DegeneralizedBreakpointFreeState,BuchiAcceptance,FGObligations>> createDegeneralizedBreakpointFreeLDBABuilder(Environment env, java.util.Set<LTL2LDBAFunction.Configuration> configuration)
public static java.util.function.Function<LabelledFormula,LimitDeterministicAutomaton<EquivalenceClass,DegeneralizedBreakpointState,BuchiAcceptance,GObligations>> createDegeneralizedBreakpointLDBABuilder(Environment env, java.util.Set<LTL2LDBAFunction.Configuration> configuration)
public static java.util.function.Function<LabelledFormula,LimitDeterministicAutomaton<EquivalenceClass,GeneralizedBreakpointFreeState,GeneralizedBuchiAcceptance,FGObligations>> createGeneralizedBreakpointFreeLDBABuilder(Environment env, java.util.Set<LTL2LDBAFunction.Configuration> configuration)
public static java.util.function.Function<LabelledFormula,LimitDeterministicAutomaton<EquivalenceClass,GeneralizedBreakpointState,GeneralizedBuchiAcceptance,GObligations>> createGeneralizedBreakpointLDBABuilder(Environment env, java.util.Set<LTL2LDBAFunction.Configuration> configuration)
public LimitDeterministicAutomaton<EquivalenceClass,S,B,C> apply(LabelledFormula formula)
apply
in interface java.util.function.Function<S,B extends GeneralizedBuchiAcceptance>