net.automatalib.automata.base.compact

Class AbstractCompactSimpleNondet<I,SP>

java.lang.Object

net.automatalib.automata.base.compact.AbstractCompactSimpleNondet<I,SP>

All Implemented Interfaces:

Iterable<Integer>, Automaton<Integer,I,Integer>, InputAlphabetHolder<I>, StateIDs<Integer>, FiniteAlphabetAutomaton<Integer,I,Integer>, MutableAutomaton<Integer,I,Integer,SP,Void>, SimpleAutomaton<Integer,I>, UniversalAutomaton<Integer,I,Integer,SP,Void>, UniversalFiniteAlphabetAutomaton<Integer,I,Integer,SP,Void>, GraphViewable, SimpleTS<Integer,I>, TransitionSystem<Integer,I,Integer>, UniversalTransitionSystem<Integer,I,Integer,SP,Void>

Direct Known Subclasses:

CompactNFA

public abstract class AbstractCompactSimpleNondet<I,SP>
extends Object
implements MutableAutomaton<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
static TIntSet	EMPTY_SET
protected TIntSet	initial
protected int	numStates
protected int	stateCapacity
protected TIntSet[]	transitions

Constructor Summary

Constructors

Modifier	Constructor and Description
	AbstractCompactSimpleNondet(Alphabet<I> alphabet)
protected	AbstractCompactSimpleNondet(Alphabet<I> alphabet, AbstractCompactSimpleNondet<?,?> other)
	AbstractCompactSimpleNondet(Alphabet<I> alphabet, float resizeFactor)
	AbstractCompactSimpleNondet(Alphabet<I> alphabet, int stateCapacity)
	AbstractCompactSimpleNondet(Alphabet<I> alphabet, int stateCapacity, 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	addTransition(Integer state, I input, Integer transition)
void	addTransition(int stateId, I input, int succId)
void	addTransition(int stateId, int inputIdx, int succId)
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)
Set<? extends Integer>	getInitialStates()
Alphabet<I>	getInputAlphabet()
TIntCollection	getIntInitialStates()
TIntCollection	getIntTransitions(int state, I input)
Integer	getState(int id)
int	getStateId(Integer state)
abstract SP	getStateProperty(int stateId)
SP	getStateProperty(Integer state)
Collection<Integer>	getStates()
Integer	getSuccessor(Integer transition)
Void	getTransitionProperty(Integer transition)
Collection<? extends Integer>	getTransitions(Integer state, I input)
TIntSet	getTransitions(int state, I input)
TIntSet	getTransitions(int state, int inputIdx)
protected abstract void	initState(int stateId, SP property)
void	removeAllTransitions(int state)
void	removeAllTransitions(Integer state)
void	removeAllTransitions(Integer state, I input)
void	removeAllTransitions(int stateId, I input)
void	removeAllTransitions(int stateId, int inputIdx)
void	removeTransition(Integer state, I input, Integer transition)
void	removeTransition(int stateId, I input, int successorId)
void	removeTransition(int stateId, int inputIdx, int successorId)
void	setInitial(int state, boolean initial)
void	setInitial(Integer state, boolean initial)
void	setStateProperty(Integer state, SP property)
abstract void	setStateProperty(int stateId, SP property)
void	setTransitionProperty(Integer transition, Void property)
void	setTransitions(Integer state, I input, Collection<? extends Integer> transitions)
void	setTransitions(int state, int inputIdx, TIntCollection successors)
void	setTransitions(int state, I input, TIntCollection successors)
int	size()
StateIDs<Integer>	stateIDs()
protected TIntSet	successors(int transId)
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.MutableAutomaton

addInitialState, addInitialState, addState, addTransition, addTransitions

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, powersetView

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

createStaticStateMapping, iterator

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

createDynamicStateMapping, getStates, getSuccessors, getSuccessors

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

EMPTY_SET

public static final TIntSet EMPTY_SET

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

stateCapacity

protected int stateCapacity

numStates

protected int numStates

initial

protected final TIntSet initial

Constructor Detail

AbstractCompactSimpleNondet

public AbstractCompactSimpleNondet(Alphabet<I> alphabet)

AbstractCompactSimpleNondet

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

AbstractCompactSimpleNondet

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

AbstractCompactSimpleNondet

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

AbstractCompactSimpleNondet

protected AbstractCompactSimpleNondet(Alphabet<I> alphabet,
                                      AbstractCompactSimpleNondet<?,?> 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>

getIntInitialStates

public TIntCollection getIntInitialStates()

getIntTransitions

public TIntCollection getIntTransitions(int state,
                                        I input)

removeAllTransitions

public void removeAllTransitions(int state)

removeTransition

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

Specified by:

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

removeTransition

public void removeTransition(int stateId,
                             I input,
                             int successorId)

removeTransition

public void removeTransition(int stateId,
                             int inputIdx,
                             int successorId)

removeAllTransitions

public void removeAllTransitions(Integer state,
                                 I input)

Specified by:

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

removeAllTransitions

public void removeAllTransitions(int stateId,
                                 I input)

removeAllTransitions

public void removeAllTransitions(int stateId,
                                 int inputIdx)

addTransition

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

Specified by:

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

addTransition

public void addTransition(int stateId,
                          I input,
                          int succId)

addTransition

public void addTransition(int stateId,
                          int inputIdx,
                          int succId)

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

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>

successors

protected TIntSet successors(int transId)

wrapState

protected static Integer wrapState(int id)

clear

public void clear()

Specified by:

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

setInitial

public void setInitial(Integer state,
                       boolean initial)

Specified by:

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

setInitial

public void setInitial(int state,
                       boolean initial)

setTransitions

public void setTransitions(Integer state,
                           I input,
                           Collection<? extends Integer> transitions)

Specified by:

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

setTransitions

public void setTransitions(int state,
                           I input,
                           TIntCollection successors)

setTransitions

public void setTransitions(int state,
                           int inputIdx,
                           TIntCollection successors)

getTransitions

public Collection<? extends Integer> getTransitions(Integer state,
                                                    I input)

Specified by:

getTransitions in interface TransitionSystem<Integer,I,Integer>

getTransitions

public TIntSet getTransitions(int state,
                              I input)

getTransitions

public TIntSet getTransitions(int state,
                              int inputIdx)

getInitialStates

public Set<? extends Integer> getInitialStates()

Specified by:

getInitialStates in interface SimpleTS<Integer,I>