Package owl.translations.nba2ldba

Class NBA2LDBA

java.lang.Object

owl.translations.nba2ldba.NBA2LDBA

All Implemented Interfaces:

Function<Automaton<?,?>,Automaton<?,? extends BuchiAcceptance>>

public final class NBA2LDBA
extends Object
implements Function<Automaton<?,?>,Automaton<?,? extends BuchiAcceptance>>

Constructor Summary

Constructors

Constructor	Description
NBA2LDBA()

Method Summary

Modifier and Type	Method	Description
Automaton<?,? extends BuchiAcceptance>	apply(Automaton<?,?> automaton)
static AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<?,? extends BuchiAcceptance>	applyLDBA(Automaton<?,?> automaton)

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

NBA2LDBA

public NBA2LDBA()

Method Detail

apply

public Automaton<?,? extends BuchiAcceptance> apply(Automaton<?,?> automaton)

Specified by:

apply in interface Function<Automaton<?,?>,Automaton<?,? extends BuchiAcceptance>>

applyLDBA

public static AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<?,? extends BuchiAcceptance> applyLDBA(Automaton<?,?> automaton)