ReachConstsStandard.cpp File Reference

Implementation of ReachConsts::ReachConstsStandard. More...

#include "ReachConstsStandard.hpp"
#include <Utils/Util.hpp>

Include dependency graph for ReachConstsStandard.cpp:

Go to the source code of this file.

Namespaces
	OA
	Namespace for the whole OpenAnalysis Toolkit.
	OA::ReachConsts

Constant Groups
	OA
	Namespace for the whole OpenAnalysis Toolkit.
	OA::ReachConsts

Variables
static bool	OA::ReachConsts::debug = false

Detailed Description

Implementation of ReachConsts::ReachConstsStandard.

Author

Michelle Strout, Barbara Kreaseck

Version

Id:

ReachConstsStandard.cpp,v 1.8 2007/10/08 19:19:14 utke 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 ReachConstsStandard.cpp.