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 

K

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.
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