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)
-
-