Package owl.translations.nba2ldba
Class NBA2LDBA
- java.lang.Object
-
- owl.translations.nba2ldba.NBA2LDBA
-
- All Implemented Interfaces:
Function<Automaton<?,?>,LimitDeterministicAutomaton<?,?,BuchiAcceptance,Void>>
public final class NBA2LDBA extends Object implements Function<Automaton<?,?>,LimitDeterministicAutomaton<?,?,BuchiAcceptance,Void>>
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModuleParser.TransformerParser
CLI
-
Constructor Summary
Constructors Constructor Description NBA2LDBA(boolean cutDeterministicAndComplete, EnumSet<LimitDeterministicAutomatonBuilder.Configuration> ldbaConfiguration)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description LimitDeterministicAutomaton<?,?,BuchiAcceptance,Void>
apply(Automaton<?,?> automaton)
static void
main(String... args)
-
-
-
Field Detail
-
CLI
public static final OwlModuleParser.TransformerParser CLI
-
-
Constructor Detail
-
NBA2LDBA
public NBA2LDBA(boolean cutDeterministicAndComplete, EnumSet<LimitDeterministicAutomatonBuilder.Configuration> ldbaConfiguration)
-
-
Method Detail
-
apply
public LimitDeterministicAutomaton<?,?,BuchiAcceptance,Void> apply(Automaton<?,?> automaton)
- Specified by:
apply
in interfaceFunction<Automaton<?,?>,LimitDeterministicAutomaton<?,?,BuchiAcceptance,Void>>
-
main
public static void main(String... args)
-
-