- validate() - Method in class fr.inria.aoste.kpassa.core.KPassa
-
This method is used to validate the connections of the graphs.
- ValidateAlgorithm - Class in fr.inria.aoste.kpassa.algorithm.digraph
-
THis algorithm checks that every port of the graph is connected.
- ValidateAlgorithm() - Constructor for class fr.inria.aoste.kpassa.algorithm.digraph.ValidateAlgorithm
-
- valueOf(String) - Static method in enum fr.inria.aoste.kpassa.algorithm.AlgorithmType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum fr.inria.aoste.kpassa.core.DFPNType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum fr.inria.aoste.kpassa.core.KPassaState.STATE
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum fr.inria.aoste.kpassa.graph.digraph.PortDirection
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum fr.inria.aoste.kpassa.algorithm.AlgorithmType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum fr.inria.aoste.kpassa.core.DFPNType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum fr.inria.aoste.kpassa.core.KPassaState.STATE
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum fr.inria.aoste.kpassa.graph.digraph.PortDirection
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- Vertex - Interface in fr.inria.aoste.kpassa.graph.digraph
-
Vertex defines the notion of computing element such as transition in Marked-Graph or Agent in SDF or KRG.
- vertexAdded(Vertex) - Method in interface fr.inria.aoste.kpassa.graph.digraph.DiGraphListener
-
- vertexChanged(DiGraph, Vertex) - Method in interface fr.inria.aoste.kpassa.graph.digraph.DiGraphListener
-
- VertexListener - Interface in fr.inria.aoste.kpassa.graph.digraph
-
- vertexRemoved(Vertex) - Method in interface fr.inria.aoste.kpassa.graph.digraph.DiGraphListener
-
- visit(AsynchMGArc) - Method in interface fr.inria.aoste.kpassa.graph.visitors.AsynchMGVisitor
-
- visit(AsynchMG) - Method in interface fr.inria.aoste.kpassa.graph.visitors.AsynchMGVisitor
-
- visit(AsynchMGMarking) - Method in interface fr.inria.aoste.kpassa.graph.visitors.AsynchMGVisitor
-
- visit(Arc) - Method in interface fr.inria.aoste.kpassa.graph.visitors.DiGraphVisitor
-
- visit(Vertex) - Method in interface fr.inria.aoste.kpassa.graph.visitors.DiGraphVisitor
-
- visit(DiGraph) - Method in interface fr.inria.aoste.kpassa.graph.visitors.DiGraphVisitor
-
- visit(Port) - Method in interface fr.inria.aoste.kpassa.graph.visitors.DiGraphVisitor
-
- visit(KRGArc) - Method in interface fr.inria.aoste.kpassa.graph.visitors.KRGVisitor
-
- visit(KRGVertex) - Method in interface fr.inria.aoste.kpassa.graph.visitors.KRGVisitor
-
- visit(KRGGraph) - Method in interface fr.inria.aoste.kpassa.graph.visitors.KRGVisitor
-
- visit(KRGMarking) - Method in interface fr.inria.aoste.kpassa.graph.visitors.KRGVisitor
-
- visit(WeightedPort) - Method in interface fr.inria.aoste.kpassa.graph.visitors.KRGVisitor
-
- visit(KRGRoutingNode) - Method in interface fr.inria.aoste.kpassa.graph.visitors.KRGVisitor
-
- visit(KRGSelect) - Method in interface fr.inria.aoste.kpassa.graph.visitors.KRGVisitor
-
- visit(KRGMerge) - Method in interface fr.inria.aoste.kpassa.graph.visitors.KRGVisitor
-
- visit(MGArc) - Method in interface fr.inria.aoste.kpassa.graph.visitors.MarkedGraphVisitor
-
- visit(MGVertex) - Method in interface fr.inria.aoste.kpassa.graph.visitors.MarkedGraphVisitor
-
- visit(MarkedGraph<?>) - Method in interface fr.inria.aoste.kpassa.graph.visitors.MarkedGraphVisitor
-
- visit(SDFArc) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SDFVisitor
-
- visit(SDFVertex) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SDFVisitor
-
- visit(SDFGraph) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SDFVisitor
-
- visit(SDFMarking) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SDFVisitor
-
- visit(WeightedPort) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SDFVisitor
-
- visit(SMGArc) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SynchronousMarkedGraphVisitor
-
- visit(MGVertex) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SynchronousMarkedGraphVisitor
-
- visit(SynchronousMarkedGraph) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SynchronousMarkedGraphVisitor
-
- visit(SMGMarking) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SynchronousMarkedGraphVisitor
-
- visit(SMGArcMarking) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SynchronousMarkedGraphVisitor
-
- visit(SMGVertexSchedule) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SynchronousMarkedGraphVisitor
-
- visit(SMGSchedule) - Method in interface fr.inria.aoste.kpassa.graph.visitors.SynchronousMarkedGraphVisitor
-