Go to the documentation of this file.
9#ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATE_FWD_H
10#define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATE_FWD_H
13#include "llvm/ADT/IntrusiveRefCntPtr.h"
18 class ProgramStateManager;