clang  10.0.0svn
Static Public Member Functions | List of all members
clang::ento::ProgramStateTrait< ConstraintRange > Struct Template Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"

Inheritance diagram for clang::ento::ProgramStateTrait< ConstraintRange >:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::ProgramStateTrait< ConstraintRange >:
Collaboration graph
[legend]

Static Public Member Functions

static void * GDMIndex ()
 

Detailed Description

template<>
struct clang::ento::ProgramStateTrait< ConstraintRange >

Definition at line 132 of file RangedConstraintManager.h.

Member Function Documentation

◆ GDMIndex()

void * clang::ento::ProgramStateTrait< ConstraintRange >::GDMIndex ( )
static

Definition at line 202 of file RangedConstraintManager.cpp.


The documentation for this struct was generated from the following files: