dfa_State.cpp File Reference

#include <elm/stree/SegmentBuilder.h>
#include <elm/sys/System.h>
#include <otawa/program.h>
#include <otawa/proc/Processor.h>
#include <otawa/hard/Platform.h>
#include <otawa/dfa/State.h>

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

Functions
p::feature	otawa::dfa::INITIAL_STATE_FEATURE ("otawa::dfa::INITIAL_STATE_FEATURE", new Maker< InitialStateBuilder >())
	This feature ensures that the executable and user information have been parsed to make the initial state of the task. More...
Identifier< Pair< const hard::Register *, Value > >	otawa::dfa::REG_INIT ("otawa::dfa::REG_INIT")
	This configuration attribute allows to specify an initial value for a register. More...
Identifier< MemCell >	otawa::dfa::MEM_INIT ("otawa::dfa::MEM_INIT")
	This configuration attribute allows to specify an initial value for a memory cell. More...
Identifier< State * >	otawa::dfa::INITIAL_STATE ("otawa::dfa::INITIAL_STATE", 0)
	This attribute provides the initial state of the task. More...