net.automatalib.automata.base.compact

Class AbstractCompactSimpleDet<I,SP>

java.lang.Object

net.automatalib.automata.base.compact.AbstractCompactSimpleDet<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>

Direct Known Subclasses:

CompactDFA, UniversalCompactSimpleDet

public abstract class AbstractCompactSimpleDet<I,SP>
extends Object
implements MutableDeterministic<Integer,I,Integer,SP,Void>, UniversalFiniteAlphabetAutomaton<Integer,I,Integer,SP,Void>, StateIDs<Integer>

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 int[]	transitions

Constructor Summary

Constructors

Modifier	Constructor and Description
	AbstractCompactSimpleDet(Alphabet<I> alphabet)
protected	AbstractCompactSimpleDet(Alphabet<I> alphabet, AbstractCompactSimpleDet<?,?> other)
	AbstractCompactSimpleDet(Alphabet<I> alphabet, float resizeFactor)
	AbstractCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity)
	AbstractCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
protected	AbstractCompactSimpleDet(Alphabet<I> alphabet, int numStates, int initial, int[] transitions, float resizeFactor)

Method Summary

Modifier and Type	Method and Description
int	addIntInitialState()
int	addIntInitialState(SP property)
int	addIntState()
int	addIntState(SP property)
Integer	addState(SP property)
void	clear()
Integer	copyTransition(Integer trans, Integer succ)
Integer	createTransition(Integer successor, Void properties)
void	ensureCapacity(int newCapacity)
protected void	ensureCapacity(int oldCap, int newCap)
Integer	getInitialState()
Alphabet<I>	getInputAlphabet()
int	getIntInitialState()
int	getIntState(Iterable<? extends I> input)
int	getIntSuccessor(int state, I input)
int	getIntSuccessor(int state, Iterable<? extends I> input)
int	getIntTransition(int state, I input)
Integer	getState(int id)
Integer	getState(Iterable<? extends I> input)
int	getStateId(Integer state)
abstract SP	getStateProperty(int stateId)
SP	getStateProperty(Integer state)
Collection<Integer>	getStates()
Integer	getSuccessor(Integer transition)
Integer	getSuccessor(Integer state, Iterable<? extends I> input)
Integer	getTransition(Integer state, I input)
Void	getTransitionProperty(Integer transition)
protected abstract void	initState(int stateId, SP property)
void	removeAllTransitions(int state)
void	removeAllTransitions(Integer state)
void	setInitialState(int state)
void	setInitialState(Integer state)
void	setStateProperty(Integer state, SP property)
abstract void	setStateProperty(int stateId, SP property)
void	setTransition(Integer state, I input, Integer transition)
void	setTransition(int state, I input, int succ)
void	setTransition(int state, int inputIdx, int succ)
void	setTransitionProperty(Integer transition, Void property)
int	size()
StateIDs<Integer>	stateIDs()
protected static Integer	wrapState(int id)

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

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 int[] transitions

stateCapacity

protected int stateCapacity

numStates

protected int numStates

initial

protected int initial

resizeFactor

protected final float resizeFactor

Constructor Detail

AbstractCompactSimpleDet

public AbstractCompactSimpleDet(Alphabet<I> alphabet)

AbstractCompactSimpleDet

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

AbstractCompactSimpleDet

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

AbstractCompactSimpleDet

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

AbstractCompactSimpleDet

protected AbstractCompactSimpleDet(Alphabet<I> alphabet,
                                   int numStates,
                                   int initial,
                                   int[] transitions,
                                   float resizeFactor)

AbstractCompactSimpleDet

protected AbstractCompactSimpleDet(Alphabet<I> alphabet,
                                   AbstractCompactSimpleDet<?,?> other)

Method Detail

ensureCapacity

public void ensureCapacity(int newCapacity)

ensureCapacity

protected void ensureCapacity(int oldCap,
                              int newCap)

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>

size

public int size()

Specified by:

size in interface SimpleAutomaton<Integer,I>

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>

getInitialState

public Integer getInitialState()

Specified by:

getInitialState in interface SimpleDTS<Integer,I>

getIntInitialState

public int getIntInitialState()

getTransition

public Integer getTransition(Integer state,
                             I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<Integer,I,Integer>

getIntTransition

public int getIntTransition(int state,
                            I input)

setInitialState

public void setInitialState(int state)

setInitialState

public void setInitialState(Integer state)

Specified by:

setInitialState in interface MutableDeterministic<Integer,I,Integer,SP,Void>

setTransition

public void setTransition(int state,
                          int inputIdx,
                          int succ)

setTransition

public void setTransition(int state,
                          I input,
                          int succ)

setTransition

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

Specified by:

setTransition in interface MutableDeterministic<Integer,I,Integer,SP,Void>

clear

public void clear()

Specified by:

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

removeAllTransitions

public void removeAllTransitions(int state)

removeAllTransitions

public void removeAllTransitions(Integer state)

Specified by:

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

copyTransition

public Integer copyTransition(Integer trans,
                              Integer succ)

Specified by:

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

getSuccessor

public Integer getSuccessor(Integer transition)

Specified by:

getSuccessor in interface TransitionSystem<Integer,I,Integer>

getIntSuccessor

public int getIntSuccessor(int state,
                           I input)

getStateProperty

public abstract SP getStateProperty(int stateId)

getStateProperty

public SP getStateProperty(Integer state)

Specified by:

getStateProperty in interface UniversalTransitionSystem<Integer,I,Integer,SP,Void>

getTransitionProperty

public Void getTransitionProperty(Integer transition)

Specified by:

getTransitionProperty in interface UniversalTransitionSystem<Integer,I,Integer,SP,Void>

initState

protected abstract void initState(int stateId,
                                  SP property)

addIntState

public int addIntState(SP property)

addIntState

public int addIntState()

addIntInitialState

public int addIntInitialState(SP property)

addIntInitialState

public int addIntInitialState()

addState

public Integer addState(SP property)

Specified by:

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

setStateProperty

public abstract void setStateProperty(int stateId,
                                      SP property)

setStateProperty

public void setStateProperty(Integer state,
                             SP property)

Specified by:

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

setTransitionProperty

public void setTransitionProperty(Integer transition,
                                  Void property)

Specified by:

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

createTransition

public Integer createTransition(Integer successor,
                                Void properties)

Specified by:

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

stateIDs

public StateIDs<Integer> stateIDs()

Specified by:

stateIDs in interface SimpleAutomaton<Integer,I>

getIntSuccessor

public int getIntSuccessor(int state,
                           Iterable<? extends I> input)

getSuccessor

public Integer getSuccessor(Integer state,
                            Iterable<? extends I> input)

Specified by:

getSuccessor in interface SimpleDTS<Integer,I>

getIntState

public int getIntState(Iterable<? extends I> input)

getState

public Integer getState(Iterable<? extends I> input)

Specified by:

getState in interface SimpleDTS<Integer,I>

wrapState

protected static Integer wrapState(int id)