Package net.automatalib.ts.modal

Class CompactMTS<I>

java.lang.Object

net.automatalib.automaton.base.AbstractCompact<I,T,Void,TP>

net.automatalib.ts.modal.AbstractCompactMTS<I,MTSTransition<MutableModalEdgeProperty>,MutableModalEdgeProperty>

net.automatalib.ts.modal.CompactMTS<I>

All Implemented Interfaces:

Iterable<Integer>, SupportsGrowingAlphabet<I>, Automaton<Integer,I,MTSTransition<MutableModalEdgeProperty>>, FiniteRepresentation, InputAlphabetHolder<I>, StateIDs<Integer>, StateLocalInput<Integer,I>, FiniteAlphabetAutomaton<Integer,I,MTSTransition<MutableModalEdgeProperty>>, MutableAutomaton<Integer,I,MTSTransition<MutableModalEdgeProperty>,Void,MutableModalEdgeProperty>, SimpleAutomaton<Integer,I>, UniversalAutomaton<Integer,I,MTSTransition<MutableModalEdgeProperty>,Void,MutableModalEdgeProperty>, UniversalFiniteAlphabetAutomaton<Integer,I,MTSTransition<MutableModalEdgeProperty>,Void,MutableModalEdgeProperty>, GraphViewable, ModalTransitionSystem<Integer,I,MTSTransition<MutableModalEdgeProperty>,MutableModalEdgeProperty>, MutableModalTransitionSystem<Integer,I,MTSTransition<MutableModalEdgeProperty>,MutableModalEdgeProperty>, SimpleTS<Integer,I>, TransitionSystem<Integer,I,MTSTransition<MutableModalEdgeProperty>>, UniversalTransitionSystem<Integer,I,MTSTransition<MutableModalEdgeProperty>,Void,MutableModalEdgeProperty>

public class CompactMTS<I>
extends AbstractCompactMTS<I,MTSTransition<MutableModalEdgeProperty>,MutableModalEdgeProperty>

Nested Class Summary

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

AbstractCompact.Payload

Nested classes/interfaces inherited from interface net.automatalib.ts.modal.ModalTransitionSystem

ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>

Field Summary

Fields inherited from class net.automatalib.automaton.base.AbstractCompact

DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, INVALID_STATE

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected MutableModalEdgeProperty	buildModalProperty(ModalEdgeProperty.ModalType type)
MTSTransition<MutableModalEdgeProperty>	createTransition(Integer successor)	Create a new transition with a default (non-null) MutableModalEdgeProperty.
MTSTransition<MutableModalEdgeProperty>	createTransition(Integer successor, @Nullable MutableModalEdgeProperty properties)
protected MutableModalEdgeProperty	getDefaultTransitionProperty()
Integer	getSuccessor(MTSTransition<MutableModalEdgeProperty> transition)	Retrieves the successor state of a given transition.
MutableModalEdgeProperty	getTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition)	Retrieves the transition property for the given state.
void	setTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition, MutableModalEdgeProperty property)

Methods inherited from class net.automatalib.ts.modal.AbstractCompactMTS

addModalTransition, clear, getInitialStates, getStateProperty, getTransitions, removeAllTransitions, removeAllTransitions, setInitial, setStateProperty, setStateProperty, setTransitions, updateTransitionStorage

Methods inherited from class net.automatalib.automaton.base.AbstractCompact

addAlphabetSymbol, addIntState, addState, getInputAlphabet, getLocalInputs, getState, getStateId, getStates, getSymbolIndex, numInputs, 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.automaton.FiniteAlphabetAutomaton

getTransitions, graphView

Methods inherited from interface net.automatalib.automaton.concept.InputAlphabetHolder

getInputAlphabet

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.modal.ModalTransitionSystem

iterator, size, transitionGraphView

Methods inherited from interface net.automatalib.automaton.MutableAutomaton

addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, copyTransition, removeTransition

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

createDynamicStateMapping, createStaticStateMapping, getStates, stateIDs

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

getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, powersetView

Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton

transitionGraphView

Constructor Detail

CompactMTS

public CompactMTS(Alphabet<I> alphabet)

CompactMTS

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

Method Detail

getDefaultTransitionProperty

protected MutableModalEdgeProperty getDefaultTransitionProperty()

Specified by:

getDefaultTransitionProperty in class AbstractCompactMTS<I,MTSTransition<MutableModalEdgeProperty>,MutableModalEdgeProperty>

buildModalProperty

protected MutableModalEdgeProperty buildModalProperty(ModalEdgeProperty.ModalType type)

Specified by:

buildModalProperty in class AbstractCompactMTS<I,MTSTransition<MutableModalEdgeProperty>,MutableModalEdgeProperty>

setTransitionProperty

public void setTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition,
                                  MutableModalEdgeProperty property)

createTransition

public MTSTransition<MutableModalEdgeProperty> createTransition(Integer successor)

Description copied from interface: MutableModalTransitionSystem

Create a new transition with a default (non-null) MutableModalEdgeProperty.

Parameters:

successor - the successor of the transition

Returns:

a new transition with a default (non-null) MutableModalEdgeProperty

createTransition

public MTSTransition<MutableModalEdgeProperty> createTransition(Integer successor,
                                                                @Nullable MutableModalEdgeProperty properties)

getSuccessor

public Integer getSuccessor(MTSTransition<MutableModalEdgeProperty> transition)

Description copied from interface: TransitionSystem

Retrieves the successor state of a given transition.

Parameters:

transition - the transition.

Returns:

the successor state.

getTransitionProperty

public MutableModalEdgeProperty getTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition)

Description copied from interface: UniversalTransitionSystem

Retrieves the transition property for the given state.

Parameters:

transition - the transition.

Returns:

the corresponding property.