features.h File Reference

#include <otawa/prop/Identifier.h>
#include <otawa/proc/SilentFeature.h>

Go to the source code of this file.

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

Variables
SilentFeature	otawa::ets::ACS_FEATURE
	Compute the Abstract Cache State at entry of each AST for L1 instruction cache. More...
Identifier< AbstractCacheState * >	otawa::ets::ACS
	This identifier (AbstractCacheState *) is used for storing the abstract cache line for each node. More...
SilentFeature	otawa::ets::CACHE_FIRST_MISS_FEATURE
	Provide the computation of occurrences of first-misses of instruction cache. More...
Identifier< int >	otawa::ets::FIRST_MISSES
	This identifier (int) is used for storing the number of first miss accesses for each node. More...
SilentFeature	otawa::ets::CACHE_HIT_FEATURE
	Provided the computation of the number of hits for the L1 instruction cache. More...
Identifier< int >	otawa::ets::HITS
	This identifier (int) is used for storing the number of hit accesses for each node. More...
SilentFeature	otawa::ets::CACHE_MISS_FEATURE
	Provide the number of misses for a L1 instruction cache. More...
Identifier< int >	otawa::ets::MISSES
	This identifier (int) is used for storing the number of miss accesses for each node. More...
SilentFeature	otawa::ets::FLOWFACT_FEATURE
	Provide flow facts in the AST. More...
Identifier< int >	otawa::ets::LOOP_COUNT
	This identifier (int) is used for storing the number of iteration for each loop of the program. More...
SilentFeature	otawa::ets::BLOCK_TIME_FEATURE
	Provide WCET for each AST. More...
SilentFeature	otawa::ets::WCET_FEATURE
	Provide the WCET of a task using the ETS approach. More...
Identifier< int >	otawa::ets::WCET
	Identifier of annotation (int) used for storing the WCET value in the ETS of the computed function. More...
Identifier< int >	otawa::ets::CONFLICTS
	This identifier (int) is used for storing the number of conflict accesses for each node. More...