SymbolicExpr.h File Reference

#include <elm/io.h>
#include <elm/io/Output.h>
#include <elm/genstruct/Vector.h>
#include <elm/string/AutoString.h>
#include <otawa/cfg/BasicBlock.h>
#include <otawa/data/clp/ClpValue.h>
#include <otawa/data/clp/ClpPack.h>

Go to the source code of this file.

Classes
class	otawa::se::SymbExpr
	Symbolic expression. More...
class	otawa::se::SEConst
	Constants. More...
class	otawa::se::SEAddr
	Memory reference. More...
class	otawa::se::SEReg
	Register. More...
class	otawa::se::SENeg
	Negation. More...
class	otawa::se::SEAdd
	Addition. More...
class	otawa::se::SECmp
	Compare symbolic expression This class define three type of compare expression: condition (if): SECmp(operator, expression) undetermined compare: SECmp(CMP, exp1, exp2) determined compare: SECmp(operator, exp1, exp2) More...
class	otawa::se::FilterBuilder

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

Typedefs
typedef clp::Value	otawa::se::V

Enumerations
enum	otawa::se::op_t {   otawa::se::NONE, otawa::se::CONST, otawa::se::ADDR, otawa::se::REG,   otawa::se::NEG, otawa::se::ADD, otawa::se::CMP, otawa::se::CMPU,   otawa::se::LE, otawa::se::LT, otawa::se::GE, otawa::se::GT,   otawa::se::EQ, otawa::se::NE, otawa::se::ULE, otawa::se::ULT,   otawa::se::UGE, otawa::se::UGT, otawa::se::OR }
	Defined operators. More...

Functions
void	otawa::se::applyFilter (V &v, se::op_t cmp_op, V f)
	Apply a filter on the value. More...
io::Output &	operator<< (io::Output &out, otawa::se::SymbExpr *sym)
elm::io::Output &	operator<< (elm::io::Output &out, otawa::se::SymbExpr &se)

Variables
Identifier< Vector< SECmp * > >	otawa::se::REG_FILTERS
Identifier< Vector< SECmp * > >	otawa::se::ADDR_FILTERS

Function Documentation

io::Output& operator<< ( io::Output &  out, otawa::se::SymbExpr *  sym  )

inline

References out, and otawa::se::SymbExpr::print().

elm::io::Output& operator<< ( elm::io::Output &  out, otawa::se::SymbExpr &  se  )

inline

References elm::cerr, out, and otawa::se::SymbExpr::print().