ClpValue.h File Reference

#include <elm/types.h>
#include <elm/type_info.h>
#include <elm/io.h>
#include <elm/assert.h>

Go to the source code of this file.

Classes
class	otawa::clp::Value
	A set of values represented by a Circular Linear Progression. More...

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

Typedefs
typedef elm::t::int32	otawa::clp::intn_t
typedef elm::t::uint32	otawa::clp::uintn_t
typedef t::uint64	otawa::clp::STAT_UINT

Enumerations
enum	otawa::clp::kind_t { otawa::clp::NONE, otawa::clp::REG, otawa::clp::VAL, otawa::clp::ALL }
	Allowed types for values: NONE represents nothing; REG is only used for addresses, and represents a register; VAL represents some values (either a constant or an interval); ALL is the Top element. More...

Functions
elm::io::Output &	otawa::clp::operator<< (elm::io::Output &out, const otawa::clp::Value &val)

Variables
const int	otawa::clp::NBITS = 32
const uintn_t	otawa::clp::UMAXn = elm::type_info<uintn_t>::max
const intn_t	otawa::clp::MAXn = elm::type_info<intn_t>::max
const intn_t	otawa::clp::MINn = elm::type_info<intn_t>::min