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:

Iterable<Integer>, Automaton<Integer,I,Integer>, InputAlphabetHolder<I>, StateIDs<Integer>, DeterministicAutomaton<Integer,I,Integer>, FiniteAlphabetAutomaton<Integer,I,Integer>, MutableAutomaton<Integer,I,Integer,SP,Void>, MutableDeterministic<Integer,I,Integer,SP,Void>, SimpleAutomaton<Integer,I>, SimpleDeterministicAutomaton<Integer,I>, UniversalAutomaton<Integer,I,Integer,SP,Void>, UniversalDeterministicAutomaton<Integer,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>

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

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()
protected void	ensureCapacity(int oldCap, int newCap)
SP	getStateProperty(int stateId)
void	initState(int stateId, SP property)
void	setStateProperty(int stateId, SP property)

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

addIntInitialState, addIntInitialState, addIntState, addIntState, addState, copyTransition, createTransition, ensureCapacity, getInitialState, getInputAlphabet, getIntInitialState, getIntState, getIntSuccessor, getIntSuccessor, getIntTransition, getState, getState, getStateId, getStateProperty, getStates, getSuccessor, getSuccessor, getTransition, getTransitionProperty, removeAllTransitions, removeAllTransitions, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, setTransitionProperty, size, stateIDs, 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, removeAllTransitions, removeTransition, setInitial, setTransition, setTransitions

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.TransitionSystem

powersetView

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

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

getStateProperty

public SP getStateProperty(int stateId)

Specified by:

getStateProperty in class AbstractCompactSimpleDet<I,SP>

initState

public void initState(int stateId,
                      SP property)

Specified by:

initState in class AbstractCompactSimpleDet<I,SP>

setStateProperty

public void setStateProperty(int stateId,
                             SP property)

Specified by:

setStateProperty in class AbstractCompactSimpleDet<I,SP>

ensureCapacity

protected void ensureCapacity(int oldCap,
                              int newCap)

Overrides:

ensureCapacity in class AbstractCompactSimpleDet<I,SP>

clear

public void clear()

Specified by:

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

Overrides:

clear in class AbstractCompactSimpleDet<I,SP>