Package owl.automaton.symbolic
This package and its subpackages contain the infrastructure for omega automata.
-
Interface Summary Interface Description SymbolicAutomaton.StateEncoder<S> SymbolicAutomaton.StateEncoderFactory SymbolicAutomaton.VariableAllocation SymbolicAutomaton.VariableAllocator SymbolicDPASolver -
Class Summary Class Description DFISymbolicDPASolver This is a symbolic implementation of the explicit fix-point iteration algorithm with freezing as described in https://doi.org/10.4204/EPTCS.305.9.ManualVariableAllocation NumberingStateEncoderFactory RangedVariableAllocator SequentialVariableAllocationCombiner Combines variable allocations in sequence and moves atomic propositions to the front or the back.SymbolicAutomaton<A extends EmersonLeiAcceptance> An automaton over infinite words.SymbolicBooleanOperations Boolean operations on symbolic automata.SymbolicDPASolver.Solution SymbolicDRA2DPAConstruction SymbolicSccDecomposition -
Enum Summary Enum Description SymbolicDPASolver.Solution.Winner