Uses of Interface
net.automatalib.ts.modal.transition.MutableModalEdgeProperty

Packages that use MutableModalEdgeProperty

Package	Description
net.automatalib.serialization.dot
net.automatalib.ts.modal
net.automatalib.ts.modal.transition

Uses of MutableModalEdgeProperty in net.automatalib.serialization.dot

Fields in net.automatalib.serialization.dot with type parameters of type MutableModalEdgeProperty

Modifier and Type	Field	Description
static Function<Map<String,String>,MutableModalEdgeProperty>	DOTParsers.DEFAULT_MTS_EDGE_PARSER	Edge input parser that parses an edge's modality attribute and constructs a corresponding MutableModalEdgeProperty.

Methods in net.automatalib.serialization.dot with type parameters of type MutableModalEdgeProperty

Modifier and Type	Method	Description
static <S,I,TP extends MutableModalEdgeProperty,M extends MutableModalTransitionSystem<S,I,?,TP>> DOTInputModelDeserializer<S,I,M>	DOTParsers.mts(AutomatonCreator<M,I> creator, Function<Map<String,String>,I> inputParser, Function<Map<String,String>,TP> propertyParser)	Parser for ModalTransitionSystems with a custom MTS instance, custom input type and edge attributes parsers.
static <S,I,TP extends MutableModalEdgeProperty,M extends MutableModalTransitionSystem<S,I,?,TP>> DOTInputModelDeserializer<S,I,M>	DOTParsers.mts(AutomatonCreator<M,I> creator, Function<Map<String,String>,I> inputParser, Function<Map<String,String>,TP> propertyParser, Collection<String> initialNodeIds)	Parser for ModalTransitionSystems with a custom MTS instance, custom input type and edge attributes parsers and custom initial state labels.

Uses of MutableModalEdgeProperty in net.automatalib.ts.modal

Classes in net.automatalib.ts.modal with type parameters of type MutableModalEdgeProperty

Modifier and Type	Class	Description
class	AbstractCompactMTS<I,T,TP extends MutableModalEdgeProperty>	An abstract base-implementation for MutableModalTransitionSystems.
class	MTSTransition<TP extends MutableModalEdgeProperty>
interface	MutableModalTransitionSystem<S,I,T,TP extends MutableModalEdgeProperty>	A mutable version of ModalTransitionSystem that allows to add states and transitions.

Methods in net.automatalib.ts.modal that return MutableModalEdgeProperty

Modifier and Type	Method	Description
protected MutableModalEdgeProperty	CompactMTS.buildModalProperty(ModalEdgeProperty.ModalType type)
protected MutableModalEdgeProperty	CompactMTS.getDefaultTransitionProperty()
MutableModalEdgeProperty	CompactMTS.getTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition)

Methods in net.automatalib.ts.modal that return types with arguments of type MutableModalEdgeProperty

Modifier and Type	Method	Description
MTSTransition<MutableModalEdgeProperty>	CompactMTS.createTransition(Integer successor)
MTSTransition<MutableModalEdgeProperty>	CompactMTS.createTransition(Integer successor, @Nullable MutableModalEdgeProperty properties)

Methods in net.automatalib.ts.modal with parameters of type MutableModalEdgeProperty

Modifier and Type	Method	Description
MTSTransition<MutableModalEdgeProperty>	CompactMTS.createTransition(Integer successor, @Nullable MutableModalEdgeProperty properties)
void	CompactMTS.setTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition, MutableModalEdgeProperty property)

Method parameters in net.automatalib.ts.modal with type arguments of type MutableModalEdgeProperty

Modifier and Type	Method	Description
Integer	CompactMTS.getSuccessor(MTSTransition<MutableModalEdgeProperty> transition)
MutableModalEdgeProperty	CompactMTS.getTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition)
void	CompactMTS.setTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition, MutableModalEdgeProperty property)

Uses of MutableModalEdgeProperty in net.automatalib.ts.modal.transition

Subinterfaces of MutableModalEdgeProperty in net.automatalib.ts.modal.transition

Modifier and Type	Interface	Description
interface	MutableProceduralModalEdgeProperty

Classes in net.automatalib.ts.modal.transition that implement MutableModalEdgeProperty

Modifier and Type	Class	Description
class	ModalEdgePropertyImpl
class	ProceduralModalEdgePropertyImpl