Class to hold the results (for each basic block) of the abstract interpretation. More...
#include <otawa/cache/cat2/MAYProblem.h>
Class to hold the results (for each basic block) of the abstract interpretation.