Purge.cpp File Reference

#include <otawa/dcache/features.h>
#include <otawa/proc/BBProcessor.h>
#include <otawa/hard/CacheConfiguration.h>
#include <otawa/cfg/features.h>
#include <otawa/cfg/CFG.h>
#include <otawa/cfg/BasicBlock.h>
#include <otawa/dcache/MUSTPERS.h>
#include <otawa/dcache/ACSMayBuilder.h>

Namespaces
	otawa
	$Id$ Copyright (c) 2007, IRIT - UPS casse.nosp@m.@iri.nosp@m.t.fr
	otawa::dcache

Functions
io::Output &	otawa::dcache::operator<< (io::Output &out, purge_t purge)
p::feature	otawa::dcache::PURGE_FEATURE ("otawa::dcache::PURGE_FEATURE", new Maker< PurgeAnalysis >())
Identifier< purge_t >	otawa::dcache::PURGE ("otawa::dcache::PURGE", INV_PURGE)