ManagerICFGReachConsts.cpp File Reference

The AnnotationManager that generates InterReachConsts using ICFGDFSolver. More...

#include "ManagerICFGReachConsts.hpp"

Include dependency graph for ManagerICFGReachConsts.cpp:

Go to the source code of this file.

Namespaces
namespace	OA
	Namespace for the whole OpenAnalysis Toolkit.
namespace	OA::ReachConsts
Variables
static bool	OA::ReachConsts::debug = false

---

Detailed Description

The AnnotationManager that generates InterReachConsts using ICFGDFSolver.

Authors:

Michelle Strout

Version:

Id

ManagerICFGReachConsts.cpp,v 1.1.2.1 2006/02/10 07:57:31 mstrout Exp

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

Definition in file ManagerICFGReachConsts.cpp.