Package owl.automaton
Class AutomatonOperations
- java.lang.Object
-
- owl.automaton.AutomatonOperations
-
public final class AutomatonOperations extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> Automaton<List<S>,OmegaAcceptance>intersection(List<Automaton<S,? extends OmegaAcceptance>> automata)Constructs an automaton recognizing the intersection of languages of the given automata.static <S> Automaton<List<S>,BuchiAcceptance>union(List<Automaton<S,BuchiAcceptance>> automata)
-
-
-
Method Detail
-
intersection
public static <S> Automaton<List<S>,OmegaAcceptance> intersection(List<Automaton<S,? extends OmegaAcceptance>> automata)
Constructs an automaton recognizing the intersection of languages of the given automata.- Type Parameters:
S- The type of the states. Can be set to Object.- Parameters:
automata- A list of automata over the same alphabet (ValuationSetFactory). The only supported acceptance are AllAcceptance, CoBuchiAcceptance and GeneralisedBuchiAcceptance. The given automata need to be deterministic.- Returns:
- An automaton that is constructed on-the-fly.
-
union
public static <S> Automaton<List<S>,BuchiAcceptance> union(List<Automaton<S,BuchiAcceptance>> automata)
-
-