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>, DeterministicAutomaton.FullIntAbstraction<Integer>, DeterministicAutomaton.IntAbstraction<Integer>, DeterministicAutomaton.StateIntAbstraction<I,Integer>, FiniteAlphabetAutomaton<Integer,I,Integer>, 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>

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>, MutableDeterministic.StateIntAbstraction<I,Integer,SP,Void>, MutableDeterministic.FullIntAbstraction<Integer,SP,Void>

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

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

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

INVALID_STATE

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)
Integer	createTransition(int successor, Void property)
void	ensureCapacity(int newCapacity)
protected void	ensureCapacity(int oldCap, int newCap)
MutableDeterministic.FullIntAbstraction<Integer,SP,Void>	fullIntAbstraction()
MutableDeterministic.FullIntAbstraction<Integer,SP,Void>	fullIntAbstraction(Alphabet<I> alphabet)
Integer	getInitialState()
Alphabet<I>	getInputAlphabet()
int	getIntInitialState()
int	getIntState(Iterable<? extends I> input)
int	getIntSuccessor(Integer transition)
int	getIntSuccessor(int state, I input)
int	getIntSuccessor(int state, Iterable<? extends I> input)
int	getIntTransition(int state, I input)
int	getIntTransition(int state, int 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)
int	getSuccessor(int state, I input)
int	getSuccessor(int state, int input)
Integer	getTransition(Integer state, I input)
Integer	getTransition(int state, I input)
Integer	getTransition(int state, int input)
Void	getTransitionProperty(Integer transition)
protected abstract void	initState(int stateId, SP property)
int	numInputs()
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(Integer state, I input, Integer transition, Void property)
void	setTransition(int state, I input, int succ)
void	setTransition(int state, I input, Integer transition)
void	setTransition(int state, I input, int successor, Void property)
void	setTransition(int state, int inputIdx, int succ)
void	setTransition(int state, int input, Integer transition)
void	setTransition(int state, int input, int successor, Void property)
void	setTransitionProperty(Integer transition, Void property)
int	size()
StateIDs<Integer>	stateIDs()
MutableDeterministic.StateIntAbstraction<I,Integer,SP,Void>	stateIntAbstraction()
protected static int	unwrapState(Integer state)
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, 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.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

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

getTransitionProperty

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

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

Specified by:

size in interface SimpleDeterministicAutomaton.IntAbstraction

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()

Specified by:

getIntInitialState in interface SimpleDeterministicAutomaton.IntAbstraction

getTransition

public Integer getTransition(Integer state,
                             I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<Integer,I,Integer>

getIntTransition

public int getIntTransition(int state,
                            int input)

getIntTransition

public int getIntTransition(int state,
                            I input)

setInitialState

public void setInitialState(int state)

Specified by:

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

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>

setTransition

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

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)

getSuccessor

public int getSuccessor(int state,
                        I input)

Specified by:

getSuccessor in interface DeterministicAutomaton.StateIntAbstraction<I,Integer>

Specified by:

getSuccessor in interface SimpleDeterministicAutomaton.StateIntAbstraction<I>

getStateProperty

public abstract SP getStateProperty(int stateId)

Specified by:

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

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 UniversalDeterministicAutomaton.IntAbstraction<Integer,SP,Void>

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)

Specified by:

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

addIntState

public int addIntState()

Specified by:

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

addIntInitialState

public int addIntInitialState(SP property)

Specified by:

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

addIntInitialState

public int addIntInitialState()

Specified by:

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

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)

Specified by:

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

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>

Specified by:

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

createTransition

public Integer createTransition(Integer successor,
                                Void properties)

Specified by:

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

createTransition

public Integer createTransition(int successor,
                                Void property)

Specified by:

createTransition in interface MutableDeterministic.IntAbstraction<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>

stateIntAbstraction

public MutableDeterministic.StateIntAbstraction<I,Integer,SP,Void> stateIntAbstraction()

Specified by:

stateIntAbstraction in interface DeterministicAutomaton<Integer,I,Integer>

Specified by:

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

Specified by:

stateIntAbstraction in interface SimpleDeterministicAutomaton<Integer,I>

Specified by:

stateIntAbstraction in interface UniversalDeterministicAutomaton<Integer,I,Integer,SP,Void>

fullIntAbstraction

public MutableDeterministic.FullIntAbstraction<Integer,SP,Void> fullIntAbstraction(Alphabet<I> alphabet)

Specified by:

fullIntAbstraction in interface DeterministicAutomaton<Integer,I,Integer>

Specified by:

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

Specified by:

fullIntAbstraction in interface SimpleDeterministicAutomaton<Integer,I>

Specified by:

fullIntAbstraction in interface UniversalDeterministicAutomaton<Integer,I,Integer,SP,Void>

fullIntAbstraction

public MutableDeterministic.FullIntAbstraction<Integer,SP,Void> fullIntAbstraction()

getIntSuccessor

public int getIntSuccessor(Integer transition)

Specified by:

getIntSuccessor in interface DeterministicAutomaton.IntAbstraction<Integer>

getTransition

public Integer getTransition(int state,
                             I input)

Specified by:

getTransition in interface DeterministicAutomaton.StateIntAbstraction<I,Integer>

getTransition

public Integer getTransition(int state,
                             int input)

Specified by:

getTransition in interface DeterministicAutomaton.FullIntAbstraction<Integer>

getSuccessor

public int getSuccessor(int state,
                        int input)

Specified by:

getSuccessor in interface DeterministicAutomaton.FullIntAbstraction<Integer>

Specified by:

getSuccessor in interface SimpleDeterministicAutomaton.FullIntAbstraction

setTransition

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

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<Integer,SP,Void>

setTransition

public void setTransition(int state,
                          int input,
                          int successor,
                          Void property)

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<Integer,SP,Void>

setTransition

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

Specified by:

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

setTransition

public void setTransition(int state,
                          I input,
                          int successor,
                          Void property)

Specified by:

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

numInputs

public int numInputs()

Specified by:

numInputs in interface SimpleDeterministicAutomaton.FullIntAbstraction

wrapState

protected static Integer wrapState(int id)

unwrapState

protected static int unwrapState(Integer state)