Otawa  0.10
sem.cpp File Reference
#include <elm/string.h>
#include <otawa/prog/sem.h>
#include <otawa/hard/Platform.h>

Namespaces

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

Functions

cond_t otawa::sem::invert (cond_t cond)
 Invert the given condition. More...
 
int otawa::sem::size (type_t type)
 Get the size of the given type. More...
 
io::Outputotawa::sem::operator<< (io::Output &out, type_t type)
 
io::Outputotawa::sem::operator<< (io::Output &out, cond_t cond)