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 455 of file Checker.h.

Member Function Documentation

_register()

template<typename CHECKER >

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

inlinestatic

Definition at line 464 of file Checker.h.

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

---

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

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