dcache_WCETFunctionBuilder.cpp File Reference

#include <otawa/dcache/WCETFunctionBuilder.h>
#include <otawa/hard/Memory.h>
#include <otawa/ipet.h>

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

Functions
p::feature	otawa::dcache::WCET_FUNCTION_FEATURE ("otawa::dcache::WCET_FUNCTION_FEATURE", new Maker< WCETFunctionBuilder >())
	This feature provides an easy and naive way to add data cache time to the WCET computation by adding to the objective function representing the WCET the miss time multiplied by the number of occurrences of the miss. More...