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

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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)