Package owl.translations.safra
Class SafraBuilder
- java.lang.Object
-
- owl.translations.safra.SafraBuilder
-
public final class SafraBuilder extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
SafraBuilder.Label<S>
-
Field Summary
Fields Modifier and Type Field Description static OwlModuleParser.TransformerParser
CLI
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> Automaton<Tree<SafraBuilder.Label<S>>,RabinAcceptance>
build(Automaton<S,BuchiAcceptance> nba)
-
-
-
Field Detail
-
CLI
public static final OwlModuleParser.TransformerParser CLI
-
-
Method Detail
-
build
public static <S> Automaton<Tree<SafraBuilder.Label<S>>,RabinAcceptance> build(Automaton<S,BuchiAcceptance> nba)
-
-