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 extends Object,I extends Object,T extends Object,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)
MTSTransition<MutableModalEdgeProperty>	createTransition(Integer successor, @Nullable MutableModalEdgeProperty properties)
protected MutableModalEdgeProperty	getDefaultTransitionProperty()
Integer	getSuccessor(MTSTransition<MutableModalEdgeProperty> transition)
MutableModalEdgeProperty	getTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition)
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)

createTransition

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

getSuccessor

public Integer getSuccessor(MTSTransition<MutableModalEdgeProperty> transition)

getTransitionProperty

public MutableModalEdgeProperty getTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition)