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
All Methods Instance Methods Concrete Methods 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
-
-
-
-
Method Detail
-
getDefaultTransitionProperty
protected MutableModalEdgeProperty getDefaultTransitionProperty()
- Specified by:
getDefaultTransitionProperty
in classAbstractCompactMTS<I,MTSTransition<MutableModalEdgeProperty>,MutableModalEdgeProperty>
-
buildModalProperty
protected MutableModalEdgeProperty buildModalProperty(ModalEdgeProperty.ModalType type)
- Specified by:
buildModalProperty
in classAbstractCompactMTS<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.
-
-