- 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