- kDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
SMT k-variables mapped with name
- kEndId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable for k end of a task.
- kEndId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable for k end of an actor instance.
- kEndPrefix - Static variable in class solver.SmtVariablePrefixes
-
k End variable for pipelined scheduling.
- kMaxDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
SMT variable for calculating kMax.
- kMaxPrefix - Static variable in class solver.SmtVariablePrefixes
-
k max variable for pipelined scheduling.
- Knee - Class in exploration.paretoExploration.distanceexploration
-
- Knee(Point) - Constructor for class exploration.paretoExploration.distanceexploration.Knee
-
- Knee(int, double) - Constructor for class exploration.paretoExploration.distanceexploration.Knee
-
- kneeTreeRoot - Variable in class exploration.paretoExploration.distanceexploration.DistanceBasedExploration
-
- Kosaraju - Class in graphanalysis
-
An implementation of Kosaraju's algorithm for finding strongly-connected
components (SCCs) of a graph in linear time.
- Kosaraju(Graph) - Constructor for class graphanalysis.Kosaraju
-
Initialize Kosaraju algorithm instance to find strongly connected
components.
- kPredId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable for k predicted of a task.
- kStartId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable for k start of a task.
- kStartId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable for k start of an actor instance.
- kStartPrefix - Static variable in class solver.SmtVariablePrefixes
-
k Start variable for pipelined scheduling.