net.automatalib.automata.base.compact

Class UniversalCompactSimpleDet<I,SP>

java.lang.Object

net.automatalib.automata.base.compact.AbstractCompactSimpleDet<I,SP>

net.automatalib.automata.base.compact.UniversalCompactSimpleDet<I,SP>

All Implemented Interfaces:

Serializable, Iterable<Integer>, Automaton<Integer,I,Integer>, InputAlphabetHolder<I>, StateIDs<Integer>, DeterministicAutomaton<Integer,I,Integer>, DeterministicAutomaton.FullIntAbstraction<Integer>, DeterministicAutomaton.IntAbstraction<Integer>, DeterministicAutomaton.StateIntAbstraction<I,Integer>, FiniteAlphabetAutomaton<Integer,I,Integer>, GrowableAlphabetAutomaton<I>, MutableAutomaton<Integer,I,Integer,SP,Void>, MutableDeterministic<Integer,I,Integer,SP,Void>, MutableDeterministic.FullIntAbstraction<Integer,SP,Void>, MutableDeterministic.IntAbstraction<Integer,SP,Void>, MutableDeterministic.StateIntAbstraction<I,Integer,SP,Void>, SimpleAutomaton<Integer,I>, SimpleDeterministicAutomaton<Integer,I>, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction, SimpleDeterministicAutomaton.StateIntAbstraction<I>, UniversalAutomaton<Integer,I,Integer,SP,Void>, UniversalDeterministicAutomaton<Integer,I,Integer,SP,Void>, UniversalDeterministicAutomaton.FullIntAbstraction<Integer,SP,Void>, UniversalDeterministicAutomaton.IntAbstraction<Integer,SP,Void>, UniversalDeterministicAutomaton.StateIntAbstraction<I,Integer,SP,Void>, UniversalFiniteAlphabetAutomaton<Integer,I,Integer,SP,Void>, GraphViewable, DeterministicTransitionSystem<Integer,I,Integer>, SimpleDTS<Integer,I>, SimpleTS<Integer,I>, TransitionSystem<Integer,I,Integer>, UniversalDTS<Integer,I,Integer,SP,Void>, UniversalTransitionSystem<Integer,I,Integer,SP,Void>

public class UniversalCompactSimpleDet<I,SP>
extends AbstractCompactSimpleDet<I,SP>

See Also:

Serialized Form

Nested Class Summary

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

MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>

Nested classes/interfaces inherited from interface net.automatalib.automata.MutableDeterministic.StateIntAbstraction

MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>

Nested classes/interfaces inherited from interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction

MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>

Field Summary

Fields inherited from class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

alphabet, alphabetSize, DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, initial, numStates, resizeFactor, stateCapacity, transitions

Fields inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

INVALID_STATE

Constructor Summary

Constructors

Constructor and Description
UniversalCompactSimpleDet(Alphabet<I> alphabet)
UniversalCompactSimpleDet(Alphabet<I> alphabet, float resizeFactor)
UniversalCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity)
UniversalCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)

Method Summary

Modifier and Type	Method and Description
void	clear() Removes all states and transitions.
protected void	ensureCapacity(int oldCap, int newCap)
SP	getStateProperty(int stateId) Retrieves the state property of a given (abstracted) state.
void	initState(int stateId, SP property)
void	setStateProperty(int stateId, SP property)

Methods inherited from class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

addAlphabetSymbol, addIntInitialState, addIntInitialState, addIntState, addIntState, addState, copyTransition, createTransition, createTransition, ensureCapacity, fullIntAbstraction, fullIntAbstraction, getInitialState, getInputAlphabet, getIntInitialState, getIntState, getIntSuccessor, getIntSuccessor, getIntSuccessor, getIntTransition, getIntTransition, getState, getState, getStateId, getStateProperty, getStates, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransition, getTransition, getTransition, getTransitionProperty, numInputs, powersetView, removeAllTransitions, removeAllTransitions, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, setTransition, setTransition, setTransition, setTransition, setTransition, setTransitionProperty, size, stateIDs, stateIntAbstraction, unwrapState, wrapState

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.automata.MutableDeterministic

addTransition, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setTransitions

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions, transToSet

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

getInitialStates, getStates, getSuccessors, stateToSet

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addInitialState, addState, addTransition, addTransitions

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

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

createStaticStateMapping, iterator

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

createDynamicStateMapping, getSuccessors

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction

getTransitionProperty

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction

getTransitionProperty

Constructor Detail

UniversalCompactSimpleDet

public UniversalCompactSimpleDet(Alphabet<I> alphabet,
                                 float resizeFactor)

UniversalCompactSimpleDet

public UniversalCompactSimpleDet(Alphabet<I> alphabet,
                                 int stateCapacity,
                                 float resizeFactor)

UniversalCompactSimpleDet

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

UniversalCompactSimpleDet

public UniversalCompactSimpleDet(Alphabet<I> alphabet)

Method Detail

initState

public void initState(int stateId,
                      SP property)

Specified by:

initState in class AbstractCompactSimpleDet<I,SP>

ensureCapacity

protected void ensureCapacity(int oldCap,
                              int newCap)

Overrides:

ensureCapacity in class AbstractCompactSimpleDet<I,SP>

clear

public void clear()

Description copied from interface: MutableAutomaton

Removes all states and transitions.

Specified by:

clear in interface MutableAutomaton<Integer,I,Integer,SP,Void>

Overrides:

clear in class AbstractCompactSimpleDet<I,SP>

setStateProperty

public void setStateProperty(int stateId,
                             SP property)

Specified by:

setStateProperty in interface MutableDeterministic.IntAbstraction<Integer,SP,Void>

Specified by:

setStateProperty in class AbstractCompactSimpleDet<I,SP>

getStateProperty

public SP getStateProperty(int stateId)

Description copied from interface: UniversalDeterministicAutomaton.IntAbstraction

Retrieves the state property of a given (abstracted) state.

Specified by:

getStateProperty in interface UniversalDeterministicAutomaton.IntAbstraction<Integer,SP,Void>

Specified by:

getStateProperty in class AbstractCompactSimpleDet<I,SP>

Parameters:

stateId - the integer representing the state of which to retrieve the property

Returns:

the property for the given state