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

#include "clang/StaticAnalyzer/Core/Checker.h"

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

Detailed Description

Definition at line 471 of file Checker.h.

Member Function Documentation

_register()

template<typename CHECKER>

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

inlinestatic

Definition at line 480 of file Checker.h.

References clang::ento::CheckerManager::_registerForEvalAssume(), and CHECKER.

---

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

• include/clang/StaticAnalyzer/Core/Checker.h