Package owl.translations.nba2ldba
Class NBA2LDBA.LDBA<S>
- java.lang.Object
-
- owl.translations.nba2ldba.NBA2LDBA.LDBA<S>
-
-
Constructor Summary
Constructors Constructor Description LDBA()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract Automaton<S,BuchiAcceptance>
automaton()
abstract Set<S>
initialComponent()
-
-
-
Method Detail
-
automaton
public abstract Automaton<S,BuchiAcceptance> automaton()
-
-