A B C D E F G H I K L M N O P R S T V W 

V

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
 
A B C D E F G H I K L M N O P R S T V W