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

V

validateParantheses(String) - Method in class graphanalysis.scheduling.Schedule
This function will check if the parentheses in the expression have matching number of open and closed brackets.
validatePlatform() - Method in class platform.model.Platform
Check if platform model built confirms to specifications in the XML file.
validateTestOutput(String) - Static method in class tests.TryApgan
This method just verifies if the generated schedule by APGAN for a fixed test graph is as we expect.
validateTestOutput(Graph) - Static method in class tests.TryApplicationXML
This procedure validates the graph that is built by the XML parser against the model.
validateTestOutput(String) - Static method in class tests.TryPrintGraph
 
validateTestOutput(Graph, Solutions) - Static method in class tests.TrySpdf
 
validateTestOutput(double) - Static method in class tests.TryThroughput
Verify if the throughput matched the expected value.
value - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.Int
 
value - Variable in enum spdfcore.Id.PROP
 
value() - Method in enum spdfcore.Id.PROP
 
value - Variable in enum spdfcore.Port.DIR
 
value() - Method in enum spdfcore.Port.DIR
 
valueOf(String) - Static method in enum graphanalysis.GraphFindCycles.Color
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum graphanalysis.properties.SplitJoinGraphAnalysis.EdgeType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum graphanalysis.scheduling.ListScheduling.Strategy
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum input.CommandLineArgs.SolverType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum solver.Z3Solver.SatResult
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum spdfcore.Actor.ActorType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum spdfcore.Id.PROP
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum spdfcore.Port.DIR
Returns the enum constant of this type with the specified name.
values() - Static method in enum graphanalysis.GraphFindCycles.Color
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum graphanalysis.properties.SplitJoinGraphAnalysis.EdgeType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum graphanalysis.scheduling.ListScheduling.Strategy
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum input.CommandLineArgs.SolverType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum solver.Z3Solver.SatResult
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum spdfcore.Actor.ActorType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum spdfcore.Id.PROP
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum spdfcore.Port.DIR
Returns an array containing the constants of this enum type, in the order they are declared.
varDecl - Variable in class solver.distributedMemory.mapping.MappingCommSolver
Different SMT variables
varDecl - Variable in class solver.distributedMemory.partitioning.GenericPartitionSolver
Map of SMT variables
varDecl - Variable in class solver.distributedMemory.placement.GenericPlacementSolver
SMT variables
verifyLatency - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined.OptimizeSchedule
Verify if the latency was really reduced or not with extra constraints
visited - Variable in class spdfcore.stanalys.LivenessAcyclic.Data
 
visitedChannels - Variable in class spdfcore.stanalys.Solutions.Data
 
visitSuccessors(Actor, LivenessAcyclic.Data) - Method in class spdfcore.stanalys.LivenessAcyclic
visit non-visited successors of the given actor
A B C D E F G H I K L M N O P Q R S T U V W X Y Z