Package dk.brics.tajs.blendedanalysis.dynamic

Class Summary

Class	Description
JalangiRefiner	Solves the BlendedAnalysisQueries and uses JalangiRefinerUtilities for interaction with log files.
JalangiRefinerUtilities	Compare Jalangi value logs with TAJS values for blended analysis.