Package com.kcsl.paths.algorithms

Class Summary

Class	Description
PathCounter	A base class to define the common interface and configurations of program path counting algorithms
PathCounter.CountingResult	Holds a path counting result, which consists of the number of paths counted and the number of additions performed to compute the result.
PathEnumerator
PathEnumerator.EnumerationResult	Holds a path counting result and the path enumeration
PathExpressions