DeterministicConstructions.Tracking (owl 21.0 API)

java.lang.Object
- owl.automaton.AbstractMemoizingAutomaton<S,A>
- - owl.automaton.AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A>
  - - owl.translations.canonical.DeterministicConstructions.Tracking

All Implemented Interfaces:: Automaton<EquivalenceClass,AllAcceptance>

Enclosing class:: DeterministicConstructions

public static final class DeterministicConstructions.Tracking
extends AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A>

Nested Class Summary
- Nested classes/interfaces inherited from class owl.automaton.AbstractMemoizingAutomaton
  AbstractMemoizingAutomaton.EdgeImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgeMapImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgesImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation<A,B,C extends EmersonLeiAcceptance>
- Nested classes/interfaces inherited from interface owl.automaton.Automaton
  Automaton.Property

Field Summary
- Fields inherited from class owl.automaton.AbstractMemoizingAutomaton
  acceptance, atomicPropositions, initialStates

Constructor Summary

Constructors
Constructor Description

Tracking(Factories factories)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`EquivalenceClass`	`asInitialState(Formula state)`
`MtBdd<Edge<EquivalenceClass>>`	`edgeTreeImpl(EquivalenceClass clazz)`
`boolean`	`is(Automaton.Property property)`
`MtBdd<EquivalenceClass>`	`successorTree(EquivalenceClass clazz)`

Methods inherited from class owl.automaton.AbstractMemoizingAutomaton
acceptance, atomicPropositions, edge, edgeMap, edges, edges, edgeTree, explorationCompleted, factory, initialState, initialStates, memoizingAutomaton, states, successor, successors, successors

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface owl.automaton.Automaton
predecessors

- Constructor Detail
  - Tracking
```
public Tracking(Factories factories)
```
- Method Detail
  - asInitialState
```
public EquivalenceClass asInitialState(Formula state)
```
  - successorTree
```
public MtBdd<EquivalenceClass> successorTree(EquivalenceClass clazz)
```
  - edgeTreeImpl
```
public MtBdd<Edge<EquivalenceClass>> edgeTreeImpl(EquivalenceClass clazz)
```
    Specified by:
    
    edgeTreeImpl in class AbstractMemoizingAutomaton<EquivalenceClass,AllAcceptance>
  - is
```
public boolean is(Automaton.Property property)
```
    Specified by:
    
    is in interface Automaton<S,A extends EmersonLeiAcceptance>
    
    Overrides:
    
    is in class AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>