public final class AutomatonOperations
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static <S> Automaton<java.util.List<S>,OmegaAcceptance> |
intersection(java.util.List<Automaton<S,? extends OmegaAcceptance>> automata) |
Constructs an automaton recognizing the intersection of languages of the given automata.
|
static <S> Automaton<java.util.List<S>,BuchiAcceptance> |
union(java.util.List<Automaton<S,BuchiAcceptance>> automata) |
public static <S> Automaton<java.util.List<S>,OmegaAcceptance> intersection(java.util.List<Automaton<S,? extends OmegaAcceptance>> automata)
S
- The type of the states. Can be set to Object.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.public static <S> Automaton<java.util.List<S>,BuchiAcceptance> union(java.util.List<Automaton<S,BuchiAcceptance>> automata)