net.automatalib.automata.base.compact

Class AbstractCompactSimpleNondet<I,SP>

java.lang.Object

net.automatalib.automata.base.compact.AbstractCompact<I,Integer,SP,Void>

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

Type Parameters:

I - input symbol type

SP - state property type

All Implemented Interfaces:

Serializable, Iterable<Integer>, Automaton<Integer,I,Integer>, InputAlphabetHolder<I>, StateIDs<Integer>, StateLocalInput<Integer,I>, 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, SupportsGrowingAlphabet<I>, SimpleTS<Integer,I>, TransitionSystem<Integer,I,Integer>, UniversalTransitionSystem<Integer,I,Integer,SP,Void>

Direct Known Subclasses:

CompactNFA

public abstract class AbstractCompactSimpleNondet<I,SP>
extends AbstractCompact<I,Integer,SP,Void>

Abstract super class that refines AbstractCompact for transition-property-less automata. As a result, transitions may be represented as integers (where a transition object effectively is the successor).

Author:

frohme, Malte Isberner

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class net.automatalib.automata.base.compact.AbstractCompact

AbstractCompact.Payload

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<Integer>	initial
protected @Nullable Set<Integer>[]	transitions

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

DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, INVALID_STATE

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractCompactSimpleNondet(Alphabet<I> alphabet, AbstractCompactSimpleNondet<?,?> other)
	AbstractCompactSimpleNondet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)

Method Summary

Modifier and Type	Method and Description
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)
Set<Integer>	getInitialStates()
Integer	getSuccessor(Integer transition)
Void	getTransitionProperty(Integer transition)
Collection<Integer>	getTransitions(Integer state, I input)
Set<Integer>	getTransitions(int state, I input)
Set<Integer>	getTransitions(int state, int inputIdx)
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	setTransitionProperty(Integer transition, Void property)
void	setTransitions(Integer state, I input, Collection<? extends Integer> transitions)
void	setTransitions(int state, I input, Collection<? extends Integer> successors)
void	setTransitions(int state, int inputIdx, Collection<? extends Integer> successors)
protected void	updateTransitionStorage(AbstractCompact.Payload payload) Implementing classes should override this method in order to react to changes to the layout of their array-based transition data, e.g. due to calls to MutableAutomaton.addState() or AbstractCompact.addAlphabetSymbol(Object).

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

addAlphabetSymbol, addIntState, addState, getInputAlphabet, getLocalInputs, getState, getStateId, getStates, getSymbolIndex, numInputs, setStateProperty, size, stateIDs, toId, toMemoryIndex, toState, updateStateStorage, updateStateStorage, updateTransitionStorage, updateTransitionStorage, updateTransitionStorage

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

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty

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

createDynamicStateMapping, createStaticStateMapping, iterator

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

getStates, getSuccessors, getSuccessors

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

initial

protected final Set<Integer> initial

transitions

protected @Nullable Set<Integer>[] transitions

Constructor Detail

AbstractCompactSimpleNondet

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

AbstractCompactSimpleNondet

protected AbstractCompactSimpleNondet(Alphabet<I> alphabet,
                                      AbstractCompactSimpleNondet<?,?> other)

Method Detail

updateTransitionStorage

protected void updateTransitionStorage(AbstractCompact.Payload payload)

Description copied from class: AbstractCompact

Implementing classes should override this method in order to react to changes to the layout of their array-based transition data, e.g. due to calls to MutableAutomaton.addState() or AbstractCompact.addAlphabetSymbol(Object).

Subclasses may use one of the AbstractCompact.updateTransitionStorage(Object[], IntFunction, Object, Payload)... methods to conveniently delegate this task to this base class. This leaves subclasses only with the task to invoke the provided update methods for each of their local array storages.

Overrides:

updateTransitionStorage in class AbstractCompact<I,Integer,SP,Void>

Parameters:

payload - the payload containing the necessary information for the update operation. This object must be passed as-is to the AbstractCompact.updateTransitionStorage(Object[], IntFunction, Object, Payload)... methods.

getTransitionProperty

public Void getTransitionProperty(Integer transition)

setInitial

public void setInitial(Integer state,
                       boolean initial)

setInitial

public void setInitial(int state,
                       boolean initial)

clear

public void clear()

Specified by:

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

Overrides:

clear in class AbstractCompact<I,Integer,SP,Void>

setTransitionProperty

public void setTransitionProperty(Integer transition,
                                  Void property)

removeTransition

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

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)

removeAllTransitions

public void removeAllTransitions(int stateId,
                                 I input)

removeAllTransitions

public void removeAllTransitions(int stateId,
                                 int inputIdx)

removeAllTransitions

public void removeAllTransitions(Integer state)

removeAllTransitions

public void removeAllTransitions(int state)

addTransition

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

addTransition

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

addTransition

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

copyTransition

public Integer copyTransition(Integer trans,
                              Integer succ)

createTransition

public Integer createTransition(Integer successor,
                                Void properties)

setTransitions

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

setTransitions

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

setTransitions

public void setTransitions(int state,
                           int inputIdx,
                           Collection<? extends Integer> successors)

getSuccessor

public Integer getSuccessor(Integer transition)

getTransitions

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

getTransitions

public Set<Integer> getTransitions(int state,
                                   I input)

getTransitions

public Set<Integer> getTransitions(int state,
                                   int inputIdx)

getInitialStates

public Set<Integer> getInitialStates()