net.automatalib.automata.base.compact

Class AbstractCompactDeterministic<I,T,SP,TP>

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.ts.abstractimpl.AbstractDTS<S,I,T>

net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton<S,I,T>

net.automatalib.automata.abstractimpl.AbstractMutableDeterministic<Integer,I,T,SP,TP>

net.automatalib.automata.base.compact.AbstractCompactDeterministic<I,T,SP,TP>

All Implemented Interfaces:

Iterable<Integer>, Automaton<Integer,I,T>, InputAlphabetHolder<I>, StateIDs<Integer>, DeterministicAutomaton<Integer,I,T>, FiniteAlphabetAutomaton<Integer,I,T>, MutableAutomaton<Integer,I,T,SP,TP>, MutableDeterministic<Integer,I,T,SP,TP>, SimpleAutomaton<Integer,I>, SimpleDeterministicAutomaton<Integer,I>, UniversalAutomaton<Integer,I,T,SP,TP>, UniversalDeterministicAutomaton<Integer,I,T,SP,TP>, Graph<Integer,TransitionEdge<I,T>>, IndefiniteGraph<Integer,TransitionEdge<I,T>>, DeterministicTransitionSystem<Integer,I,T>, SimpleDTS<Integer,I>, SimpleTS<Integer,I>, TransitionSystem<Integer,I,T>, UniversalDTS<Integer,I,T,SP,TP>, UniversalTransitionSystem<Integer,I,T,SP,TP>

Direct Known Subclasses:

CompactMealy

public abstract class AbstractCompactDeterministic<I,T,SP,TP>
extends AbstractMutableDeterministic<Integer,I,T,SP,TP>
implements StateIDs<Integer>, FiniteAlphabetAutomaton<Integer,I,T>, Graph<Integer,TransitionEdge<I,T>>

Field Summary

Fields

Modifier and Type	Field and Description
protected Alphabet<I>	alphabet
protected int	alphabetSize
static int	DEFAULT_INIT_CAPACITY
static float	DEFAULT_RESIZE_FACTOR
protected int	initial
protected int	numStates
protected float	resizeFactor
protected int	stateCapacity
protected Object[]	transitions

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
int	addIntState(SP property)
Integer	addState(SP property)
void	clear()
abstract T	copyTransition(T trans, int succId)
T	copyTransition(T trans, Integer succ)
<V> MutableMapping<Integer,V>	createDynamicNodeMapping()
protected int	createState()
<V> MutableMapping<Integer,V>	createStaticNodeMapping()
T	createTransition(Integer succ, TP property)
abstract T	createTransition(int succId, TP property)
protected void	ensureCapacity()
void	ensureCapacity(int newCapacity)
protected static int	getId(Integer id)
Integer	getInitialState()
Alphabet<I>	getInputAlphabet()
int	getIntInitialState()
abstract int	getIntSuccessor(T transition)
Collection<Integer>	getNodes()
Collection<TransitionEdge<I,T>>	getOutgoingEdges(Integer node)
Integer	getState(int id)
int	getStateId(Integer state)
abstract SP	getStateProperty(int stateId)
SP	getStateProperty(Integer state)
Collection<Integer>	getStates()
Integer	getSuccessor(T transition)
Integer	getTarget(TransitionEdge<I,T> edge)
T	getTransition(Integer state, I input)
T	getTransition(int stateId, I input)
T	getTransition(int stateId, int inputIdx)
protected static Integer	makeId(int id)
NodeIDs<Integer>	nodeIDs()
void	removeAllTransitions(Integer state)
void	setInitialState(int stateId)
void	setInitialState(Integer state)
void	setStateProperty(Integer state, SP property)
abstract void	setStateProperty(int state, SP property)
void	setTransition(Integer state, I input, T transition)
void	setTransition(int state, int inputIdx, T trans)
StateIDs<Integer>	stateIDs()

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton

iterator, size

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractDTS

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.ts.TransitionSystem

getTransitions, powersetView

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

size

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.graphs.Graph

size

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

getState, getSuccessor, getSuccessor

Methods inherited from interface net.automatalib.automata.MutableAutomaton

setTransitionProperty

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getTransitionProperty

Field Detail

DEFAULT_RESIZE_FACTOR

public static final float DEFAULT_RESIZE_FACTOR

See Also:

Constant Field Values

DEFAULT_INIT_CAPACITY

public static final int DEFAULT_INIT_CAPACITY

See Also:

Constant Field Values

alphabet

protected final Alphabet<I> alphabet

alphabetSize

protected final int alphabetSize

transitions

protected Object[] transitions

stateCapacity

protected int stateCapacity

numStates

protected int numStates

initial

protected int initial

resizeFactor

protected final float resizeFactor

Constructor Detail

AbstractCompactDeterministic

public AbstractCompactDeterministic(Alphabet<I> alphabet)

AbstractCompactDeterministic

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

AbstractCompactDeterministic

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

AbstractCompactDeterministic

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

Method Detail

getId

protected static final int getId(Integer id)

makeId

protected static final Integer makeId(int id)

ensureCapacity

protected void ensureCapacity()

ensureCapacity

public final void ensureCapacity(int newCapacity)

setInitialState

public void setInitialState(int stateId)

setInitialState

public void setInitialState(Integer state)

Specified by:

setInitialState in interface MutableDeterministic<Integer,I,T,SP,TP>

setTransition

public void setTransition(int state,
                 int inputIdx,
                 T trans)

setTransition

public void setTransition(Integer state,
                 I input,
                 T transition)

Specified by:

setTransition in interface MutableDeterministic<Integer,I,T,SP,TP>

createTransition

public abstract T createTransition(int succId,
                 TP property)

createTransition

public T createTransition(Integer succ,
                 TP property)

Specified by:

createTransition in interface MutableAutomaton<Integer,I,T,SP,TP>

copyTransition

public T copyTransition(T trans,
               Integer succ)

Specified by:

copyTransition in interface MutableAutomaton<Integer,I,T,SP,TP>

copyTransition

public abstract T copyTransition(T trans,
               int succId)

getIntSuccessor

public abstract int getIntSuccessor(T transition)

getSuccessor

public final Integer getSuccessor(T transition)

Specified by:

getSuccessor in interface TransitionSystem<Integer,I,T>

getStates

public Collection<Integer> getStates()

Specified by:

getStates in interface SimpleAutomaton<Integer,I>

getState

public Integer getState(int id)

Specified by:

getState in interface StateIDs<Integer>

getStateId

public int getStateId(Integer state)

Specified by:

getStateId in interface StateIDs<Integer>

getIntInitialState

public int getIntInitialState()

getInitialState

public Integer getInitialState()

Specified by:

getInitialState in interface SimpleDTS<Integer,I>

getTransition

public T getTransition(int stateId,
              int inputIdx)

getTransition

public T getTransition(int stateId,
              I input)

getTransition

public T getTransition(Integer state,
              I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<Integer,I,T>

getStateProperty

public abstract SP getStateProperty(int stateId)

getStateProperty

public SP getStateProperty(Integer state)

Specified by:

getStateProperty in interface UniversalTransitionSystem<Integer,I,T,SP,TP>

clear

public void clear()

Specified by:

clear in interface MutableAutomaton<Integer,I,T,SP,TP>

createState

protected final int createState()

addIntState

public int addIntState(SP property)

addState

public Integer addState(SP property)

Specified by:

addState in interface MutableAutomaton<Integer,I,T,SP,TP>

setStateProperty

public abstract void setStateProperty(int state,
                    SP property)

setStateProperty

public void setStateProperty(Integer state,
                    SP property)

Specified by:

setStateProperty in interface MutableAutomaton<Integer,I,T,SP,TP>

removeAllTransitions

public void removeAllTransitions(Integer state)

Specified by:

removeAllTransitions in interface MutableAutomaton<Integer,I,T,SP,TP>

stateIDs

public StateIDs<Integer> stateIDs()

Specified by:

stateIDs in interface SimpleAutomaton<Integer,I>

Overrides:

stateIDs in class AbstractDeterministicAutomaton<Integer,I,T>

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>

getOutgoingEdges

public Collection<TransitionEdge<I,T>> getOutgoingEdges(Integer node)

Specified by:

getOutgoingEdges in interface IndefiniteGraph<Integer,TransitionEdge<I,T>>

getTarget

public Integer getTarget(TransitionEdge<I,T> edge)

Specified by:

getTarget in interface IndefiniteGraph<Integer,TransitionEdge<I,T>>

createStaticNodeMapping

public <V> MutableMapping<Integer,V> createStaticNodeMapping()

Specified by:

createStaticNodeMapping in interface IndefiniteGraph<Integer,TransitionEdge<I,T>>

createDynamicNodeMapping

public <V> MutableMapping<Integer,V> createDynamicNodeMapping()

Specified by:

createDynamicNodeMapping in interface IndefiniteGraph<Integer,TransitionEdge<I,T>>

getNodes

public Collection<Integer> getNodes()

Specified by:

getNodes in interface Graph<Integer,TransitionEdge<I,T>>

nodeIDs

public NodeIDs<Integer> nodeIDs()

Specified by:

nodeIDs in interface Graph<Integer,TransitionEdge<I,T>>