Package owl.translations.canonical

Class DeterministicConstructionsPortfolio<A extends EmersonLeiAcceptance>

java.lang.Object

owl.translations.canonical.AbstractPortfolio<A>

owl.translations.canonical.DeterministicConstructionsPortfolio<A>

All Implemented Interfaces:

Function<LabelledFormula,Optional<Automaton<?,? extends A>>>

public final class DeterministicConstructionsPortfolio<A extends EmersonLeiAcceptance>
extends AbstractPortfolio<A>

Constructor Summary

Constructors

Constructor	Description
DeterministicConstructionsPortfolio(Class<A> acceptanceBound)

Method Summary

Modifier and Type	Method	Description
Optional<Automaton<?,? extends A>>	apply(LabelledFormula formula)
static Automaton<EquivalenceClass,BuchiAcceptance>	coSafety(LabelledFormula formula)
static Automaton<DeterministicConstructions.BreakpointStateAcceptingRoundRobin,CoBuchiAcceptance>	coSafetySafety(LabelledFormula formula)
static Automaton<RoundRobinState<EquivalenceClass>,? extends GeneralizedCoBuchiAcceptance>	fgSafety(LabelledFormula formula, boolean generalized)
static Automaton<RoundRobinState<EquivalenceClass>,GeneralizedBuchiAcceptance>	gfCoSafety(LabelledFormula formula, boolean generalized)
static Automaton<EquivalenceClass,AllAcceptance>	safety(LabelledFormula formula)
static Automaton<DeterministicConstructions.BreakpointStateRejectingRoundRobin,BuchiAcceptance>	safetyCoSafety(LabelledFormula formula)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.function.Function

andThen, compose

Constructor Detail

DeterministicConstructionsPortfolio

public DeterministicConstructionsPortfolio(Class<A> acceptanceBound)

Method Detail

apply

public Optional<Automaton<?,? extends A>> apply(LabelledFormula formula)

safety

public static Automaton<EquivalenceClass,AllAcceptance> safety(LabelledFormula formula)

coSafety

public static Automaton<EquivalenceClass,BuchiAcceptance> coSafety(LabelledFormula formula)

gfCoSafety

public static Automaton<RoundRobinState<EquivalenceClass>,GeneralizedBuchiAcceptance> gfCoSafety(LabelledFormula formula,
                                                                                                       boolean generalized)

fgSafety

public static Automaton<RoundRobinState<EquivalenceClass>,? extends GeneralizedCoBuchiAcceptance> fgSafety(LabelledFormula formula,
                                                                                                                 boolean generalized)

coSafetySafety

public static Automaton<DeterministicConstructions.BreakpointStateAcceptingRoundRobin,CoBuchiAcceptance> coSafetySafety(LabelledFormula formula)

safetyCoSafety

public static Automaton<DeterministicConstructions.BreakpointStateRejectingRoundRobin,BuchiAcceptance> safetyCoSafety(LabelledFormula formula)