Package owl.translations.canonical
Class DeterministicConstructionsPortfolio<A extends OmegaAcceptance>
- java.lang.Object
-
- owl.translations.canonical.DeterministicConstructionsPortfolio<A>
-
- All Implemented Interfaces:
Function<LabelledFormula,Optional<Automaton<?,A>>>
public final class DeterministicConstructionsPortfolio<A extends OmegaAcceptance> extends Object
-
-
Constructor Summary
Constructors Constructor Description DeterministicConstructionsPortfolio(Class<A> acceptanceBound, Environment environment)
-
Method Summary
-
-
-
Constructor Detail
-
DeterministicConstructionsPortfolio
public DeterministicConstructionsPortfolio(Class<A> acceptanceBound, Environment environment)
-
-
Method Detail
-
apply
public Optional<Automaton<?,A>> apply(LabelledFormula formula)
-
safety
public static Automaton<EquivalenceClass,AllAcceptance> safety(Environment environment, LabelledFormula formula)
-
coSafety
public static Automaton<EquivalenceClass,BuchiAcceptance> coSafety(Environment environment, LabelledFormula formula)
-
gfCoSafety
public static Automaton<RoundRobinState<EquivalenceClass>,GeneralizedBuchiAcceptance> gfCoSafety(Environment environment, LabelledFormula formula, boolean generalized)
-
fgSafety
public static Automaton<RoundRobinState<EquivalenceClass>,GeneralizedCoBuchiAcceptance> fgSafety(Environment environment, LabelledFormula formula, boolean generalized)
-
coSafetySafety
public static Automaton<DeterministicConstructions.BreakpointStateAccepting,CoBuchiAcceptance> coSafetySafety(Environment environment, LabelledFormula formula)
-
safetyCoSafety
public static Automaton<DeterministicConstructions.BreakpointStateRejecting,BuchiAcceptance> safetyCoSafety(Environment environment, LabelledFormula formula)
-
-