clang API Documentation

Static Public Member Functions
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: