Package owl.translations.canonical

Class NonDeterministicConstructionsPortfolio<A extends EmersonLeiAcceptance>

java.lang.Object

owl.translations.canonical.AbstractPortfolio<A>

owl.translations.canonical.NonDeterministicConstructionsPortfolio<A>

All Implemented Interfaces:

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

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

Constructor Summary

Constructors

Constructor	Description
NonDeterministicConstructionsPortfolio(Class<A> acceptance)

Method Summary

Modifier and Type	Method	Description
Optional<Automaton<?,? extends A>>	apply(LabelledFormula formula)
static Automaton<Formula,BuchiAcceptance>	coSafety(LabelledFormula formula)
static Automaton<Formula,BuchiAcceptance>	fgSafety(LabelledFormula formula)
static Automaton<RoundRobinState<Formula>,GeneralizedBuchiAcceptance>	gfCoSafety(LabelledFormula formula, boolean generalized)
static Automaton<Formula,AllAcceptance>	safety(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

NonDeterministicConstructionsPortfolio

public NonDeterministicConstructionsPortfolio(Class<A> acceptance)

Method Detail

apply

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

coSafety

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

safety

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

gfCoSafety

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

fgSafety

public static Automaton<Formula,BuchiAcceptance> fgSafety(LabelledFormula formula)