Package owl.automaton.symbolic
Class SymbolicBooleanOperations
- java.lang.Object
-
- owl.automaton.symbolic.SymbolicBooleanOperations
-
public final class SymbolicBooleanOperations extends Object
Boolean operations on symbolic automata.See for an equivalent on explicit automata, see
BooleanOperations
.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static SymbolicAutomaton<?>
deterministicProduct(PropositionalFormula<Integer> automatonFormula, List<? extends SymbolicAutomaton<?>> automata)
static SymbolicAutomaton<?>
deterministicStructureProduct(SymbolicAutomaton<?> automaton1, SymbolicAutomaton<?> automaton2)
static SymbolicAutomaton<?>
deterministicUnion(List<? extends SymbolicAutomaton<?>> automata)
static SymbolicAutomaton<?>
deterministicUnion(SymbolicAutomaton<?>... automata)
static SymbolicAutomaton<?>
intersection(List<? extends SymbolicAutomaton<?>> automata)
static SymbolicAutomaton<?>
intersection(SymbolicAutomaton<?>... automata)
-
-
-
Method Detail
-
deterministicUnion
public static SymbolicAutomaton<?> deterministicUnion(SymbolicAutomaton<?>... automata)
-
deterministicUnion
public static SymbolicAutomaton<?> deterministicUnion(List<? extends SymbolicAutomaton<?>> automata)
-
intersection
public static SymbolicAutomaton<?> intersection(SymbolicAutomaton<?>... automata)
-
intersection
public static SymbolicAutomaton<?> intersection(List<? extends SymbolicAutomaton<?>> automata)
-
deterministicStructureProduct
public static SymbolicAutomaton<?> deterministicStructureProduct(SymbolicAutomaton<?> automaton1, SymbolicAutomaton<?> automaton2)
-
deterministicProduct
public static SymbolicAutomaton<?> deterministicProduct(PropositionalFormula<Integer> automatonFormula, List<? extends SymbolicAutomaton<?>> automata)
-
-