BlockCounter.h File Reference

#include "llvm/Support/Allocator.h"

Go to the source code of this file.

Classes
class	clang::ento::BlockCounter
	An abstract data type used to count the number of times a given block has been visited along a path analyzed by CoreEngine. More...
class	clang::ento::BlockCounter::Factory

Namespaces
namespace	clang
namespace	clang::ento