Package owl.automaton
Class BooleanOperations
- java.lang.Object
-
- owl.automaton.BooleanOperations
-
public final class BooleanOperations extends Object
This class provides standard boolean operations (union, intersection) on automata. The returned automata are live-views and are constructed on-the-fly.
-
-
Method Summary
All Methods Static Methods Concrete Methods Deprecated Methods Modifier and Type Method Description static <S,A extends OmegaAcceptance>
Automaton<S,A>deterministicComplement(Automaton<S,?> automaton, S trapState, Class<A> expectedAcceptance)
static <S> Automaton<Map<Integer,S>,?>
deterministicUnion(List<Automaton<S,?>> automata)
static <S> Automaton<Map<Integer,S>,?>
deterministicUnion(List<Automaton<S,?>> automata, boolean ignoreSymbolicFactoryMismatch)
static <S1,S2>
Automaton<NullablePair<S1,S2>,?>deterministicUnion(Automaton<S1,?> automaton1, Automaton<S2,?> automaton2)
static <S1,S2>
Automaton<NullablePair<S1,S2>,?>deterministicUnion(Automaton<S1,?> automaton1, Automaton<S2,?> automaton2, boolean ignoreSymbolicFactoryMismatch)
static <S> Automaton<List<S>,?>
intersection(List<Automaton<S,?>> automata)
static <S> Automaton<List<S>,?>
intersection(List<Automaton<S,?>> automata, boolean ignoreSymbolicFactoryMismatch)
static <S1,S2>
Automaton<Pair<S1,S2>,?>intersection(Automaton<S1,?> automaton1, Automaton<S2,?> automaton2)
static <S1,S2>
Automaton<Pair<S1,S2>,?>intersection(Automaton<S1,?> automaton1, Automaton<S2,?> automaton2, boolean ignoreSymbolicFactoryMismatch)
static <S> Automaton<List<S>,BuchiAcceptance>
unionBuchi(List<Automaton<S,BuchiAcceptance>> automata)
Deprecated.
-
-
-
Method Detail
-
unionBuchi
@Deprecated public static <S> Automaton<List<S>,BuchiAcceptance> unionBuchi(List<Automaton<S,BuchiAcceptance>> automata)
Deprecated.
-
deterministicComplement
public static <S,A extends OmegaAcceptance> Automaton<S,A> deterministicComplement(Automaton<S,?> automaton, @Nullable S trapState, Class<A> expectedAcceptance)
-
intersection
public static <S1,S2> Automaton<Pair<S1,S2>,?> intersection(Automaton<S1,?> automaton1, Automaton<S2,?> automaton2)
-
intersection
public static <S1,S2> Automaton<Pair<S1,S2>,?> intersection(Automaton<S1,?> automaton1, Automaton<S2,?> automaton2, boolean ignoreSymbolicFactoryMismatch)
-
intersection
public static <S> Automaton<List<S>,?> intersection(List<Automaton<S,?>> automata, boolean ignoreSymbolicFactoryMismatch)
-
deterministicUnion
public static <S1,S2> Automaton<NullablePair<S1,S2>,?> deterministicUnion(Automaton<S1,?> automaton1, Automaton<S2,?> automaton2)
-
deterministicUnion
public static <S1,S2> Automaton<NullablePair<S1,S2>,?> deterministicUnion(Automaton<S1,?> automaton1, Automaton<S2,?> automaton2, boolean ignoreSymbolicFactoryMismatch)
-
deterministicUnion
public static <S> Automaton<Map<Integer,S>,?> deterministicUnion(List<Automaton<S,?>> automata)
-
-