clang::ento::eval::Assume Class Reference

#include <Checker.h>

List of all members.

Static Public Member Functions
template<typename CHECKER >
static void	_register (CHECKER *checker, CheckerManager &mgr)

---

Detailed Description

Definition at line 422 of file Checker.h.

---

Member Function Documentation

template<typename CHECKER >

static void clang::ento::eval::Assume::_register	(	CHECKER *	checker,
		CheckerManager &	mgr
	)		[inline, static]

Definition at line 433 of file Checker.h.

References clang::ento::CheckerManager::_registerForEvalAssume().

---

The documentation for this class was generated from the following file:

• Checker.h