net.automatalib.automata.base.compact

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

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

public class UniversalCompactSimpleDet<I,SP>
extends AbstractCompactSimpleDet<I,SP>

Field Summary

Fields inherited from class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	clear()
protected void	ensureCapacity(int oldCap, int newCap)
SP	getStateProperty(int stateId)
void	initState(int stateId, SP property)
void	setStateProperty(int stateId, SP property)

Methods inherited from class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

addIntState, addState, copyTransition, createDynamicNodeMapping, createStaticNodeMapping, createTransition, ensureCapacity, getEdgeProperty, getGraphDOTHelper, getInitialState, getInputAlphabet, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getState, getStateId, getStateProperty, getStates, getSuccessor, getTarget, getTransition, getTransitionProperty, nodeIDs, removeAllTransitions, removeAllTransitions, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, setTransitionProperty, size, 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

Constructor Detail

UniversalCompactSimpleDet

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

UniversalCompactSimpleDet

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

UniversalCompactSimpleDet

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

UniversalCompactSimpleDet

public UniversalCompactSimpleDet(Alphabet<I> alphabet)

Method Detail

getStateProperty

public SP getStateProperty(int stateId)

Specified by:

getStateProperty in class AbstractCompactSimpleDet<I,SP>

initState

public void initState(int stateId,
             SP property)

Specified by:

initState in class AbstractCompactSimpleDet<I,SP>

setStateProperty

public void setStateProperty(int stateId,
                    SP property)

Specified by:

setStateProperty in class AbstractCompactSimpleDet<I,SP>

ensureCapacity

protected void ensureCapacity(int oldCap,
                  int newCap)

Overrides:

ensureCapacity in class AbstractCompactSimpleDet<I,SP>

clear

public void clear()

Specified by:

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

Overrides:

clear in class AbstractCompactSimpleDet<I,SP>