net.automatalib.automata.base.compact

Class AbstractCompactSimpleDet<I,SP>

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

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>, NodeIDs<Integer>, DOTPlottableGraph<Integer,TransitionEdge<I,Integer>>, Graph<Integer,TransitionEdge<I,Integer>>, IndefiniteGraph<Integer,TransitionEdge<I,Integer>>, UniversalGraph<Integer,TransitionEdge<I,Integer>,SP,TransitionEdge.Property<I,Void>>, UniversalIndefiniteGraph<Integer,TransitionEdge<I,Integer>,SP,TransitionEdge.Property<I,Void>>, 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 AbstractMutableDeterministic<Integer,I,Integer,SP,Void>
implements UniversalGraph<Integer,TransitionEdge<I,Integer>,SP,TransitionEdge.Property<I,Void>>, FiniteAlphabetAutomaton<Integer,I,Integer>, StateIDs<Integer>, NodeIDs<Integer>, DOTPlottableGraph<Integer,TransitionEdge<I,Integer>>

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT_INIT_CAPACITY
static float	DEFAULT_RESIZE_FACTOR

Constructor Summary

Constructors

Constructor and Description
AbstractCompactSimpleDet(Alphabet<I> alphabet)
AbstractCompactSimpleDet(Alphabet<I> alphabet, float resizeFactor)
AbstractCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity)
AbstractCompactSimpleDet(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()
Integer	copyTransition(Integer trans, Integer succ)
<V> MutableMapping<Integer,V>	createDynamicNodeMapping()
<V> MutableMapping<Integer,V>	createStaticNodeMapping()
Integer	createTransition(Integer successor, Void properties)
void	ensureCapacity(int newCapacity)
protected void	ensureCapacity(int oldCap, int newCap)
TransitionEdge.Property<I,Void>	getEdgeProperty(TransitionEdge<I,Integer> edge)
GraphDOTHelper<Integer,TransitionEdge<I,Integer>>	getGraphDOTHelper()
Integer	getInitialState()
Alphabet<I>	getInputAlphabet()
Integer	getNode(int id)
int	getNodeId(Integer node)
SP	getNodeProperty(Integer node)
Collection<Integer>	getNodes()
Collection<TransitionEdge<I,Integer>>	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(Integer transition)
Integer	getTarget(TransitionEdge<I,Integer> edge)
Integer	getTransition(Integer state, I input)
Void	getTransitionProperty(Integer transition)
abstract void	initState(int stateId, SP property)
NodeIDs<Integer>	nodeIDs()
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()

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

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.ts.simple.SimpleTS

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

Methods inherited from interface java.lang.Iterable

iterator

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

getState, getSuccessor, getSuccessor

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

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)

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 Graph<Integer,TransitionEdge<I,Integer>>

Overrides:

size in class AbstractDeterministicAutomaton<Integer,I,Integer>

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>

getTransition

public Integer getTransition(Integer state,
                    I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<Integer,I,Integer>

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>

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

public abstract void initState(int stateId,
             SP property)

addIntState

public int addIntState(SP property)

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>

Overrides:

stateIDs in class AbstractDeterministicAutomaton<Integer,I,Integer>

getNodeProperty

public SP getNodeProperty(Integer node)

Specified by:

getNodeProperty in interface UniversalIndefiniteGraph<Integer,TransitionEdge<I,Integer>,SP,TransitionEdge.Property<I,Void>>

getEdgeProperty

public TransitionEdge.Property<I,Void> getEdgeProperty(TransitionEdge<I,Integer> edge)

Specified by:

getEdgeProperty in interface UniversalIndefiniteGraph<Integer,TransitionEdge<I,Integer>,SP,TransitionEdge.Property<I,Void>>

getOutgoingEdges

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

Specified by:

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

getTarget

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

Specified by:

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

createStaticNodeMapping

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

Specified by:

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

createDynamicNodeMapping

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

Specified by:

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

getNodes

public Collection<Integer> getNodes()

Specified by:

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

nodeIDs

public NodeIDs<Integer> nodeIDs()

Specified by:

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

getGraphDOTHelper

public GraphDOTHelper<Integer,TransitionEdge<I,Integer>> getGraphDOTHelper()

Specified by:

getGraphDOTHelper in interface DOTPlottableGraph<Integer,TransitionEdge<I,Integer>>

getNodeId

public int getNodeId(Integer node)

Specified by:

getNodeId in interface NodeIDs<Integer>

getNode

public Integer getNode(int id)

Specified by:

getNode in interface NodeIDs<Integer>