Package owl.translations.canonical

Class AbstractPortfolio<A extends EmersonLeiAcceptance>

java.lang.Object

owl.translations.canonical.AbstractPortfolio<A>

All Implemented Interfaces:

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

Direct Known Subclasses:

DeterministicConstructionsPortfolio, NonDeterministicConstructionsPortfolio

public abstract class AbstractPortfolio<A extends EmersonLeiAcceptance>
extends Object
implements Function<LabelledFormula,Optional<Automaton<?,? extends A>>>

Method Summary

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, apply, compose