A B C D E G I L P R S T W
All Classes All Packages

T

TOP_DOWN - Static variable in class com.kcsl.paths.preferences.PathCounterPreferences

TopDownBFMultiplicitiesPathCounter - Class in com.kcsl.paths.counting

This program counts all paths in a CFG by counting path multiplicities.

TopDownBFMultiplicitiesPathCounter() - Constructor for class com.kcsl.paths.counting.TopDownBFMultiplicitiesPathCounter

TopDownBFMultiplicitiesPathCounter(boolean) - Constructor for class com.kcsl.paths.counting.TopDownBFMultiplicitiesPathCounter

TopDownBFPropagatePathEnumerator - Class in com.kcsl.paths.enumeration

This program counts all paths in the graph by iteratively enumerating all paths.

TopDownBFPropagatePathEnumerator() - Constructor for class com.kcsl.paths.enumeration.TopDownBFPropagatePathEnumerator

TopDownBFPropagatePathEnumerator(boolean) - Constructor for class com.kcsl.paths.enumeration.TopDownBFPropagatePathEnumerator

TopDownBFPropagatePathExpressions - Class in com.kcsl.paths.regex

TopDownBFPropagatePathExpressions() - Constructor for class com.kcsl.paths.regex.TopDownBFPropagatePathExpressions

TopDownBFPropagatePathExpressions(boolean) - Constructor for class com.kcsl.paths.regex.TopDownBFPropagatePathExpressions

TopDownDFBacktrackPathEnumerator - Class in com.kcsl.paths.enumeration

This program counts all paths in the graph by iteratively enumerating all paths.

TopDownDFBacktrackPathEnumerator() - Constructor for class com.kcsl.paths.enumeration.TopDownDFBacktrackPathEnumerator

TopDownDFBacktrackPathEnumerator(boolean) - Constructor for class com.kcsl.paths.enumeration.TopDownDFBacktrackPathEnumerator

TopDownDFMultiplicitiesPathCounter - Class in com.kcsl.paths.counting

This program counts all paths in a CFG by counting path multiplicities.

TopDownDFMultiplicitiesPathCounter() - Constructor for class com.kcsl.paths.counting.TopDownDFMultiplicitiesPathCounter

TopDownDFMultiplicitiesPathCounter(boolean) - Constructor for class com.kcsl.paths.counting.TopDownDFMultiplicitiesPathCounter

toString() - Method in class com.kcsl.paths.algorithms.PathCounter.CountingResult

toString() - Method in class com.kcsl.paths.algorithms.PathEnumerator.EnumerationResult

transform(Q) - Method in class com.kcsl.paths.transforms.DAGTransform

Transforms a CFG to an acyclic graph by redirecting control flow back edges to loop successors that are 1) not inside the loop body and 2) not inside trap regions (exception handlers).

transform(Q) - Method in interface com.kcsl.paths.transforms.ProgramGraphTransform

TRAVERSAL - Static variable in class com.kcsl.paths.preferences.PathCounterPreferences

A B C D E G I L P R S T W
All Classes All Packages