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

Packages that use ModalEdgeProperty

Package	Description
net.automatalib.automaton.visualization
net.automatalib.modelchecker.m3c.solver
net.automatalib.ts.modal
net.automatalib.ts.modal.transition

Uses of ModalEdgeProperty in net.automatalib.automaton.visualization

Classes in net.automatalib.automaton.visualization with type parameters of type ModalEdgeProperty

Modifier and Type	Class	Description
class	MTSVisualizationHelper<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>

Uses of ModalEdgeProperty in net.automatalib.modelchecker.m3c.solver

Methods in net.automatalib.modelchecker.m3c.solver with type parameters of type ModalEdgeProperty

Modifier and Type	Method	Description
protected <TP extends ModalEdgeProperty> ADDTransformer<L,AP>	ADDSolver.createInitTransformerEdge(DependencyGraph<L,AP> dependencyGraph, L edgeLabel, TP edgeProperty)
protected <TP extends ModalEdgeProperty> BDDTransformer<L,AP>	BDDSolver.createInitTransformerEdge(DependencyGraph<L,AP> dependencyGraph, L edgeLabel, TP edgeProperty)

Uses of ModalEdgeProperty in net.automatalib.ts.modal

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

Modifier and Type	Interface	Description
interface	ModalTransitionSystem<S,I,T,TP extends ModalEdgeProperty>	A modal transition system is a UniversalAutomaton in which transitions can be marked as may or must edges.
static class	ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>

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

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

Modifier and Type	Interface	Description
interface	MutableModalEdgeProperty
interface	MutableProceduralModalEdgeProperty
interface	ProceduralModalEdgeProperty

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

Modifier and Type	Class	Description
class	ModalEdgePropertyImpl
class	ProceduralModalEdgePropertyImpl