otawa::ai::Domain Class Reference

Domain concept for ai module. More...

#include </home/casse/otawa/otawa/src/prog/concepts.h>

Public Types
typedef void *	t
	Type of domain values. More...

Public Member Functions
t	init (void)
	Get the initial domain value. More...
t	bot (void)
	Get the bottom value. More...
t	join (t v1, t v2)
	Join both value. More...
bool	equals (t v1, t v2)
	Test if both values are equal. More...
template<class I >
t	input (Graph::vertex_t vertex, I &ins)
	Compute input value. More...
template<class O >
void	output (Graph::vertex_t vertex, t in, O &outs)
	Produce a new state by updating the given in state according to the current vertex. More...

Detailed Description

Domain concept for ai module.

Member Typedef Documentation

typedef void* otawa::ai::Domain::t

Type of domain values.

Member Function Documentation

t otawa::ai::Domain::bot

(

void

)

Get the bottom value.

Returns

Bottom value.

bool otawa::ai::Domain::equals	(	t	v1,
		t	v2
	)

Test if both values are equal.

Parameters

v1	First value.
v2	Second value.

Returns

True if v1 = v2, false else.

t otawa::ai::Domain::init

(

void

)

Get the initial domain value.

Returns

Initial value.

template<class I >

t otawa::ai::Domain::input	(	Graph::vertex_t	vertex,
		I &	ins
	)

Compute input value.

Parameters

vertex	Current vertex.
ins	Iterator on inputs (implement InputIter concept).

Returns

Input result.

t otawa::ai::Domain::join	(	t	v1,
		t	v2
	)

Join both value.

Parameters

v1	First value.
v2	Second value.

Returns

Joined values.

template<class O >

void otawa::ai::Domain::output	(	Graph::vertex_t	vertex,
		t	in,
		O &	outs
	)

Produce a new state by updating the given in state according to the current vertex.

Parameters

vertex	Current vertex.
in	Input state.
outs	Iterator on output (implements OutputIter concept).

---

The documentation for this class was generated from the following file:

• src/prog/concepts.h