Module net.automatalib.core

Package net.automatalib.automaton.impl

Class UniversalCompactDetAutomaton<I,SP,TP>

java.lang.Object

net.automatalib.automaton.base.AbstractCompact<I,T,SP,TP>

net.automatalib.automaton.base.AbstractCompactDeterministic<I,CompactTransition<TP>,SP,TP>

net.automatalib.automaton.impl.UniversalCompactDet<I,SP,TP>

net.automatalib.automaton.impl.UniversalCompactDetAutomaton<I,SP,TP>

Type Parameters:

I - input symbol type

SP - state property type

TP - transition property type

All Implemented Interfaces:

Iterable<Integer>, SupportsGrowingAlphabet<I>, DeterministicAbstractions.FullIntAbstraction<CompactTransition<TP>>, DeterministicAbstractions.IntAbstraction<CompactTransition<TP>>, DeterministicAbstractions.StateIntAbstraction<I,CompactTransition<TP>>, MutableDeterministicAbstractions.FullIntAbstraction<CompactTransition<TP>,SP,TP>, MutableDeterministicAbstractions.IntAbstraction<CompactTransition<TP>,SP,TP>, MutableDeterministicAbstractions.StateIntAbstraction<I,CompactTransition<TP>,SP,TP>, SimpleDeterministicAbstractions.FullIntAbstraction, SimpleDeterministicAbstractions.IntAbstraction, SimpleDeterministicAbstractions.StateIntAbstraction<I>, UniversalDeterministicAbstractions.FullIntAbstraction<CompactTransition<TP>,SP,TP>, UniversalDeterministicAbstractions.IntAbstraction<CompactTransition<TP>,SP,TP>, UniversalDeterministicAbstractions.StateIntAbstraction<I,CompactTransition<TP>,SP,TP>, Automaton<Integer,I,CompactTransition<TP>>, Automaton.RegularAutomaton<Integer,I,CompactTransition<TP>>, FiniteRepresentation, InitialState<Integer>, InitialStates<Integer>, InputAlphabetHolder<I>, StateIDs<Integer>, StateLocalInput<Integer,I>, DeterministicAutomaton<Integer,I,CompactTransition<TP>>, DeterministicAutomaton.RegularAutomaton<Integer,I,CompactTransition<TP>>, FiniteAlphabetAutomaton<Integer,I,CompactTransition<TP>>, MutableAutomaton<Integer,I,CompactTransition<TP>,SP,TP>, MutableAutomaton.RegularAutomaton<Integer,I,CompactTransition<TP>,SP,TP>, MutableDeterministic<Integer,I,CompactTransition<TP>,SP,TP>, MutableDeterministic.RegularAutomaton<Integer,I,CompactTransition<TP>,SP,TP>, SimpleAutomaton<Integer,I>, SimpleDeterministicAutomaton<Integer,I>, UniversalAutomaton<Integer,I,CompactTransition<TP>,SP,TP>, UniversalAutomaton.RegularAutomaton<Integer,I,CompactTransition<TP>,SP,TP>, UniversalDeterministicAutomaton<Integer,I,CompactTransition<TP>,SP,TP>, UniversalDeterministicAutomaton.RegularAutomaton<Integer,I,CompactTransition<TP>,SP,TP>, UniversalFiniteAlphabetAutomaton<Integer,I,CompactTransition<TP>,SP,TP>, GraphViewable, DeterministicFiniteSemantics, DeterministicSemantics, FiniteSemantics, Semantics, DeterministicTransitionSystem<Integer,I,CompactTransition<TP>>, SimpleDTS<Integer,I>, SimpleTS<Integer,I>, TransitionSystem<Integer,I,CompactTransition<TP>>, UniversalDTS<Integer,I,CompactTransition<TP>,SP,TP>, UniversalTransitionSystem<Integer,I,CompactTransition<TP>,SP,TP>

public class UniversalCompactDetAutomaton<I,SP,TP>
extends UniversalCompactDet<I,SP,TP>
implements MutableDeterministic.RegularAutomaton<Integer,I,CompactTransition<TP>,SP,TP>

A refinement of UniversalCompactDet that additionally implements MutableDeterministic.RegularAutomaton so that structural determinism and finiteness coincides with semantic determinism and finiteness.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	UniversalCompactDetAutomaton.Creator<I,SP,TP>

Nested classes/interfaces inherited from class net.automatalib.automaton.base.AbstractCompact

AbstractCompact.Payload

Nested classes/interfaces inherited from interface net.automatalib.automaton.Automaton

Automaton.RegularAutomaton<S,I,T>

Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton

DeterministicAutomaton.RegularAutomaton<S,I,T>

Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableAutomaton

MutableAutomaton.RegularAutomaton<S,I,T,SP,TP>

Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableDeterministic

MutableDeterministic.RegularAutomaton<S,I,T,SP,TP>

Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalAutomaton

UniversalAutomaton.RegularAutomaton<S,I,T,SP,TP>

Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton

UniversalDeterministicAutomaton.RegularAutomaton<S,I,T,SP,TP>

Field Summary

Fields inherited from class net.automatalib.automaton.base.AbstractCompact

DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, INVALID_STATE

Fields inherited from interface net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction

INVALID_STATE

Constructor Summary

Constructors

Constructor	Description
UniversalCompactDetAutomaton(Alphabet<I> alphabet)
UniversalCompactDetAutomaton(Alphabet<I> alphabet, int stateCapacity)

Method Summary

Methods inherited from class net.automatalib.automaton.impl.UniversalCompactDet

clear, createTransition, getIntSuccessor, getStateProperty, getTransition, getTransitionProperty, removeAllTransitions, setStateProperty, setTransition, setTransition, setTransitionProperty, updateStateStorage, updateTransitionStorage

Methods inherited from class net.automatalib.automaton.base.AbstractCompactDeterministic

addIntInitialState, createTransition, fullIntAbstraction, getInitialState, getIntInitialState, getLocalInputs, getSuccessor, getSuccessor, getTransition, getTransition, setInitialState, setInitialState, setTransition, setTransition, setTransition, stateIntAbstraction

Methods inherited from class net.automatalib.automaton.base.AbstractCompact

addAlphabetSymbol, addIntState, addState, getInputAlphabet, getState, getStateId, getStateProperty, getStates, getSymbolIndex, numInputs, setStateProperty, size, stateIDs, toId, toMemoryIndex, toState, updateStateStorage, updateTransitionStorage, updateTransitionStorage, updateTransitionStorage

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.automaton.abstraction.DeterministicAbstractions.FullIntAbstraction

getSuccessor

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, powersetView

Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton

getTransitions, graphView

Methods inherited from interface net.automatalib.automaton.concept.InitialState

getInitialState, getInitialStates

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.automaton.MutableAutomaton

addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, setStateProperty, setTransitionProperty

Methods inherited from interface net.automatalib.automaton.MutableDeterministic

addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction

Methods inherited from interface net.automatalib.automaton.abstraction.MutableDeterministicAbstractions.IntAbstraction

addIntInitialState, addIntState, addIntState

Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction

numInputs

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getState, getStates, getSuccessor, getSuccessors

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor

Methods inherited from interface net.automatalib.automaton.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automaton.UniversalAutomaton.RegularAutomaton

getSemantics

Methods inherited from interface net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.FullIntAbstraction

getTransitionProperty

Methods inherited from interface net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.StateIntAbstraction

getTransitionProperty

Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton.RegularAutomaton

getSemantics

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Constructor Details

UniversalCompactDetAutomaton

public UniversalCompactDetAutomaton(Alphabet<I> alphabet)

UniversalCompactDetAutomaton

public UniversalCompactDetAutomaton(Alphabet<I> alphabet,
 int stateCapacity)