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

Modifier and Type	Method and Description
int	addIntState(SP property)
Integer	addState(SP property) Adds a state to the automaton.
void	clear() Removes all states and transitions.
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) Retrieves the property of a given edge.
GraphDOTHelper<Integer,TransitionEdge<I,Integer>>	getGraphDOTHelper()
Integer	getInitialState() Retrieves the initial state of this transition system.
Alphabet<I>	getInputAlphabet()
Integer	getNode(int id)
int	getNodeId(Integer node)
SP	getNodeProperty(Integer node) Retrieves the property of a given node.
Collection<Integer>	getNodes() Retrieves an (unmodifiable) collection of the nodes in this graph.
Collection<TransitionEdge<I,Integer>>	getOutgoingEdges(Integer node) Retrieves the outgoing edges of a given node.
Integer	getState(int id)
int	getStateId(Integer state)
abstract SP	getStateProperty(int stateId)
SP	getStateProperty(Integer state) Retrieves the state property for the given state.
Collection<Integer>	getStates() Retrieves all states of the transition system.
Integer	getSuccessor(Integer transition) Retrieves the successor state of a given transition.
Integer	getTarget(TransitionEdge<I,Integer> edge) Retrieves, for a given edge, its target node.
Integer	getTransition(Integer state, I input) Retrieves the transition triggered by the given input symbol.
Void	getTransitionProperty(Integer transition) Retrieves the transition property for the given state.
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) Sets the initial state to the given state
void	setStateProperty(Integer state, SP property)
abstract void	setStateProperty(int stateId, SP property)
void	setTransition(Integer state, I input, Integer transition) Sets the transition for the given state and input symbol.
void	setTransition(int state, I input, int succ)
void	setTransition(int state, int inputIdx, int succ)
void	setTransitionProperty(Integer transition, Void property)
int	size() Retrieves the size (number of states) of this transition system.
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

forEach, iterator, spliterator

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

Description copied from interface: SimpleAutomaton

Retrieves the size (number of states) of this transition system.

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>

Returns:

the number of states of this transition system

getStates

public Collection<Integer> getStates()

Description copied from interface: SimpleAutomaton

Retrieves all states of the transition system. Implementing classes should return an unmodifiable collection

Specified by:

getStates in interface SimpleAutomaton<Integer,I>

Returns:

all states in the transition system

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

Description copied from interface: SimpleDTS

Retrieves the initial state of this transition system.

Specified by:

getInitialState in interface SimpleDTS<Integer,I>

Returns:

the initial state.

See Also:

SimpleTS.getInitialStates()

getTransition

public Integer getTransition(Integer state,
                             I input)

Description copied from interface: DeterministicTransitionSystem

Retrieves the transition triggered by the given input symbol.

Specified by:

getTransition in interface DeterministicTransitionSystem<Integer,I,Integer>

Parameters:

state - the source state.

input - the input symbol.

Returns:

the transition triggered by the given input symbol, or null if no transition is triggered.

See Also:

TransitionSystem.getTransitions(Object, Object)

setInitialState

public void setInitialState(int state)

setInitialState

public void setInitialState(Integer state)

Description copied from interface: MutableDeterministic

Sets the initial state to the given state

Specified by:

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

Parameters:

state - the new initial state

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)

Description copied from interface: MutableDeterministic

Sets the transition for the given state and input symbol.

Specified by:

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

Parameters:

state - the source state

input - the triggering input symbol

transition - the transition

clear

public void clear()

Description copied from interface: MutableAutomaton

Removes all states and transitions.

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)

Description copied from interface: TransitionSystem

Retrieves the successor state of a given transition.

Specified by:

getSuccessor in interface TransitionSystem<Integer,I,Integer>

Parameters:

transition - the transition.

Returns:

the successor state.

getStateProperty

public abstract SP getStateProperty(int stateId)

getStateProperty

public SP getStateProperty(Integer state)

Description copied from interface: UniversalTransitionSystem

Retrieves the state property for the given state.

Specified by:

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

Parameters:

state - the state.

Returns:

the corresponding property.

getTransitionProperty

public Void getTransitionProperty(Integer transition)

Description copied from interface: UniversalTransitionSystem

Retrieves the transition property for the given state.

Specified by:

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

Parameters:

transition - the transition.

Returns:

the corresponding property.

initState

public abstract void initState(int stateId,
                               SP property)

addIntState

public int addIntState(SP property)

addState

public Integer addState(SP property)

Description copied from interface: MutableAutomaton

Adds a state to the automaton.

Specified by:

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

Returns:

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)

Description copied from interface: UniversalIndefiniteGraph

Retrieves the property of a given node.

Specified by:

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

Parameters:

node - the node

Returns:

the property of the specified node

getEdgeProperty

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

Description copied from interface: UniversalIndefiniteGraph

Retrieves the property of a given edge.

Specified by:

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

Parameters:

edge - the edge

Returns:

the property of the specified edge

getOutgoingEdges

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

Description copied from interface: IndefiniteGraph

Retrieves the outgoing edges of a given node.

Specified by:

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

Parameters:

node - the node.

Returns:

a Collection of all outgoing edges, or null if the node has no outgoing edges.

getTarget

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

Description copied from interface: IndefiniteGraph

Retrieves, for a given edge, its target node.

Specified by:

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

Parameters:

edge - the edge.

Returns:

the target node of the given edge.

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

Description copied from interface: Graph

Retrieves an (unmodifiable) collection of the nodes in this graph.

Specified by:

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

Returns:

the nodes in this graph

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>