AnalysisSolver |  | 0% |  | 0% | 32 | 32 | 82 | 82 | 15 | 15 | 1 | 1 |
CombinedIntegratedAnalysis.CombinedAssumption |  | 0% |  | 0% | 22 | 22 | 48 | 48 | 9 | 9 | 1 | 1 |
AssumptionUtil |  | 0% |  | 0% | 23 | 23 | 38 | 38 | 7 | 7 | 1 | 1 |
AnalysisSolver.IntegratedFlowFunctionAdapter |  | 0% |  | 0% | 9 | 9 | 29 | 29 | 2 | 2 | 1 | 1 |
DataflowOptimizer.DataflowOptimizerVisitor |  | 0% |  | 0% | 7 | 7 | 24 | 24 | 2 | 2 | 1 | 1 |
AnalysisSolver.new AssumptionMap() {...} |  | 0% |  | 0% | 12 | 12 | 17 | 17 | 3 | 3 | 1 | 1 |
CombinedIntegratedAnalysis.CombinedIntegratedFlowFunction.new AssumptionMap() {...} |  | 0% |  | 0% | 6 | 6 | 13 | 13 | 4 | 4 | 1 | 1 |
CombinedIntegratedAnalysis.CombinedIntegratedFlowFunction |  | 0% |  | 0% | 6 | 6 | 16 | 16 | 2 | 2 | 1 | 1 |
AnalysisSolver.IntegratedFlowFunctionAdapter.new IntegratedAnalysis() {...} |  | 0% |  | 0% | 5 | 5 | 9 | 9 | 3 | 3 | 1 | 1 |
AnalysisSolver.1.new AssumptionMap() {...} |  | 0% |  | 0% | 7 | 7 | 8 | 8 | 3 | 3 | 1 | 1 |
CombinedIntegratedAnalysis |  | 0% |  | 0% | 6 | 6 | 13 | 13 | 5 | 5 | 1 | 1 |
DataflowOptimizer |  | 0% | | n/a | 5 | 5 | 12 | 12 | 5 | 5 | 1 | 1 |
CombinedIntegratedAnalysis.CombinedAssumption.CopyOnWrite |  | 0% |  | 0% | 7 | 7 | 16 | 16 | 5 | 5 | 1 | 1 |
CombinedIntegratedAnalysis.new AssumptionMap() {...} |  | 0% |  | 0% | 4 | 4 | 9 | 9 | 3 | 3 | 1 | 1 |
AnalysisSolver.new AssumptionMap() {...} |  | 0% |  | 0% | 5 | 5 | 5 | 5 | 3 | 3 | 1 | 1 |
AnalysisSolver.new TransformationFunction() {...} |  | 0% |  | 0% | 4 | 4 | 5 | 5 | 2 | 2 | 1 | 1 |
AnalysisSolver.IntegratedFlowFunctionAdapter.new AssumptionMap() {...} |  | 0% | | n/a | 3 | 3 | 5 | 5 | 3 | 3 | 1 | 1 |
AnalysisSolver.new AssumptionMap() {...} |  | 0% | | n/a | 3 | 3 | 4 | 4 | 3 | 3 | 1 | 1 |
AnalysisSolver.new Analysis() {...} |  | 0% | | n/a | 3 | 3 | 4 | 4 | 3 | 3 | 1 | 1 |