InterReachConsts.hpp File Reference

Declarations for the ReachConsts::Interface implementation of interprocedural ReachConsts results. More...

#include <OpenAnalysis/ReachConsts/Interface.hpp>
#include <OpenAnalysis/ReachConsts/ReachConstsStandard.hpp>
#include <OpenAnalysis/OABase/Annotation.hpp>
#include <map>

Include dependency graph for InterReachConsts.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	OA::ReachConsts::InterReachConsts
Namespaces
namespace	OA
	Namespace for the whole OpenAnalysis Toolkit.
namespace	OA::ReachConsts

---

Detailed Description

Declarations for the ReachConsts::Interface implementation of interprocedural ReachConsts results.

Authors:

Michelle Strout, Barbara Kreaseck

Version:

Id

InterReachConsts.hpp,v 1.2 2005/06/10 02:32:04 mstrout Exp

Copyright (c) 2002-2005, Rice University
Copyright (c) 2004-2005, University of Chicago
Copyright (c) 2006, Contributors
All rights reserved.
See ../../../Copyright.txt for details.

Definition in file InterReachConsts.hpp.