Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members

dbm Namespace Reference


Classes

class  ClockAccessor
class  ClockOperation
 Wrapper class for clock operations,. More...
class  dbm_t
class  fed_t
class  Federation
class  DBMTable
class  idbm_t
struct  alloc_fdbm_t
 Use a struct here to instantiate an ItemAllocator (and cheat gravely with the allocator). More...
struct  alloc_ifed_t
 Similarly for ifed_t. More...
class  fdbm_t
class  dbmlist_t
 Simple list of DBMs for light-weight computations. More...
class  ifed_t
class  partition_t
 Type for partitions, designed to be used as a simple scalar with cheap copies as long as there is no need to modify a partition_t. More...
class  pfed_t
 A priced federation is a list of priced DBMs. More...
class  Valuation
 Valuation: like a fixed vector of scalars S with some basic operations on it. More...
class  DBMAllocator
 < Allocator for DBMs, only if we don't use new for them. More...

Typedefs

typedef Valuation< int32_t > IntValuation
 IntValuation = Valuation<int32_t>.
typedef Valuation< double > DoubleValuation
 DoubleValuation = Valuation<double>.

Functions

dbm_t operator+ (const dbm_t &a, const raw_t *b)
dbm_t operator+ (const fed_t &a, const raw_t *b)
dbm_t operator+ (const dbm_t &a, const dbm_t &b)
dbm_t operator+ (const dbm_t &a, const fed_t &b)
dbm_t operator+ (const fed_t &a, const dbm_t &b)
dbm_t operator+ (const fed_t &a, const fed_t &b)
dbm_t operator & (const dbm_t &a, const raw_t *b)
fed_t operator & (const fed_t &a, const raw_t *b)
dbm_t operator & (const dbm_t &a, const dbm_t &b)
fed_t operator & (const dbm_t &a, const fed_t &b)
fed_t operator & (const fed_t &a, const dbm_t &b)
fed_t operator & (const fed_t &a, const fed_t &b)
dbm_t operator & (const dbm_t &a, const constraint_t &c)
dbm_t operator & (const constraint_t &c, const dbm_t &a)
fed_t operator & (const fed_t &a, const constraint_t &c)
fed_t operator & (const constraint_t &c, const fed_t &a)
dbm_t operator & (const dbm_t &a, const base::pointer_t< constraint_t > &c)
dbm_t operator & (const base::pointer_t< constraint_t > &c, const dbm_t &a)
fed_t operator & (const fed_t &a, const base::pointer_t< constraint_t > &c)
fed_t operator & (const base::pointer_t< constraint_t > &c, const fed_t &a)
dbm_t operator & (const dbm_t &a, const std::vector< constraint_t > &vec)
dbm_t operator & (const std::vector< constraint_t > &vec, const dbm_t &a)
fed_t operator & (const fed_t &a, const std::vector< constraint_t > &vec)
fed_t operator & (const std::vector< constraint_t > &vec, const fed_t &a)
fed_t operator| (const dbm_t &a, const raw_t *b)
fed_t operator| (const fed_t &a, const raw_t *b)
fed_t operator| (const dbm_t &a, const dbm_t &b)
fed_t operator| (const fed_t &a, const dbm_t &b)
fed_t operator| (const dbm_t &a, const fed_t &b)
fed_t operator| (const fed_t &a, const fed_t &b)
fed_t operator- (const dbm_t &a, const raw_t *b)
fed_t operator- (const fed_t &a, const raw_t *b)
fed_t operator- (const dbm_t &a, const dbm_t &b)
fed_t operator- (const fed_t &a, const dbm_t &b)
fed_t operator- (const dbm_t &a, const fed_t &b)
fed_t operator- (const fed_t &a, const fed_t &b)
dbm_t zero (cindex_t dim)
 Create zero or init dbm_t with a given dimension.
dbm_t init (cindex_t dim)
dbm_t up (const dbm_t &arg)
 Straight-forward wrapper functions:.
dbm_t down (const dbm_t &arg)
dbm_t freeClock (const dbm_t &arg, cindex_t clock)
dbm_t freeUp (const dbm_t &arg, cindex_t k)
dbm_t freeDown (const dbm_t &arg, cindex_t k)
dbm_t freeAllUp (const dbm_t &arg)
dbm_t freeAllDown (const dbm_t &arg)
dbm_t relaxUp (const dbm_t &arg)
dbm_t relaxDown (const dbm_t &arg)
dbm_t relaxUpClock (const dbm_t &arg, cindex_t k)
dbm_t relaxDownClock (const dbm_t &arg, cindex_t k)
fed_t up (const fed_t &arg)
 Straight-forward wrapper functions:.
fed_t down (const fed_t &arg)
fed_t freeClock (const fed_t &arg, cindex_t x)
fed_t freeUp (const fed_t &arg, cindex_t k)
fed_t freeDown (const fed_t &arg, cindex_t x)
fed_t freeAllUp (const fed_t &arg)
fed_t freeAllDown (const fed_t &arg)
fed_t relaxUp (const fed_t &arg)
fed_t relaxDown (const fed_t &arg)
fed_t relaxUpClock (const fed_t &arg, cindex_t k)
fed_t relaxDownClock (const fed_t &arg, cindex_t k)
fed_t reduce (const fed_t &arg)
fed_t expensiveReduce (const fed_t &arg)
fed_t predt (const fed_t &good, const fed_t &bad)
fed_t predt (const fed_t &good, const dbm_t &bad)
fed_t predt (const fed_t &good, const raw_t *bad, cindex_t dim)
fed_t predt (const dbm_t &good, const fed_t &bad)
fed_t predt (const dbm_t &good, const dbm_t &bad)
fed_t predt (const dbm_t &good, const raw_t *bad, cindex_t dim)
fed_t predt (const raw_t *good, cindex_t dim, const fed_t &bad)
fed_t predt (const raw_t *good, cindex_t dim, const dbm_t &bad)
fed_t predt (const raw_t *good, const raw_t *bad, cindex_t dim)
void cleanUp ()
 Clean-up function useful for testing.
static bool isPointer (const void *ptr)
void * dbm_new (cindex_t dim)
 Wrapper function.
void dbm_delete (idbm_t *dbm)
 Wrapper function.
std::ostream & operator<< (std::ostream &os, const dbm::dbm_t &dbm)
 Operator overload.
std::ostream & operator<< (std::ostream &os, const dbm::fed_t &fed)
 Operator overload.
static DoubleValuation & operator+= (DoubleValuation &d, int32_t v)
 Overload += for automatic cast.
static std::ostream & operator<< (std::ostream &os, const IntValuation &i)
 Overload << IntValuation.
static std::ostream & operator<< (std::ostream &os, const DoubleValuation &d)
 Overload << DoubleValuation.
base::ItemAllocator< alloc_ifed_t > ifed_allocator (200)
base::ItemAllocator< alloc_fdbm_t > fdbm_allocator (600)
static int32_t worstValue (const raw_t *dbm1, const raw_t *dbm2, cindex_t dim, cindex_t i, cindex_t j)
static dbmlist_t internSubtract (fdbm_t *fdbm1, const raw_t *dbm2, cindex_t dim, const uint32_t *bits, size_t bitsSize, size_t nbConstraints)
static bool fed_checkWeakAdd (raw_t cij, raw_t cji)
static double fed_diff (double value, raw_t low)
static constraint_t sat_collect (const fdbm_t *f, const constraint_t &c)
static void sat_assert (fdbm_t *f, const constraint_t &c)
static int32_t min (int32_t a, int32_t b)

Variables

DBMTable dbm_table
 One instance for the DBM table.
base::ItemAllocator< alloc_fdbm_t > fdbm_allocator
 Allocator instance.
base::ItemAllocator< alloc_ifed_t > ifed_allocator
DBMAllocator dbm_allocator

Typedef Documentation

typedef Valuation<double> dbm::DoubleValuation
 

DoubleValuation = Valuation<double>.

typedef Valuation<int32_t> dbm::IntValuation
 

IntValuation = Valuation<int32_t>.

Function Documentation

void dbm::cleanUp (   ) 
 

Clean-up function useful for testing.

Deallocate internally allocated DBMs that are currently free.

void dbm::dbm_delete (  idbm_t *  dbm  ) 
 

Wrapper function.

Parameters:
dbm,: idbm_t to deallocate.
Precondition:
dbm != NULL DON'T INLINE because array_t will expand every call too badly.

void * dbm::dbm_new (  cindex_t  dim  ) 
 

Wrapper function.

Parameters:
dim,: dimension of the idbm_t to allocate. DON'T INLINE because array_t will expand every call too badly.

fed_t dbm::down (  const fed_t &  arg  )  [inline]
 

dbm_t dbm::down (  const dbm_t &  arg  )  [inline]
 

fed_t dbm::expensiveReduce (  const fed_t &  arg  )  [inline]
 

base::ItemAllocator<alloc_fdbm_t> dbm::fdbm_allocator (  600   ) 
 

static bool dbm::fed_checkWeakAdd (  raw_t  cij,
raw_t  cji
)  [inline, static]
 

static double dbm::fed_diff (  double  value,
raw_t  low
)  [inline, static]
 

fed_t dbm::freeAllDown (  const fed_t &  arg  )  [inline]
 

dbm_t dbm::freeAllDown (  const dbm_t &  arg  )  [inline]
 

fed_t dbm::freeAllUp (  const fed_t &  arg  )  [inline]
 

dbm_t dbm::freeAllUp (  const dbm_t &  arg  )  [inline]
 

fed_t dbm::freeClock (  const fed_t &  arg,
cindex_t  x
)  [inline]
 

dbm_t dbm::freeClock (  const dbm_t &  arg,
cindex_t  clock
)  [inline]
 

fed_t dbm::freeDown (  const fed_t &  arg,
cindex_t  x
)  [inline]
 

dbm_t dbm::freeDown (  const dbm_t &  arg,
cindex_t  k
)  [inline]
 

fed_t dbm::freeUp (  const fed_t &  arg,
cindex_t  k
)  [inline]
 

dbm_t dbm::freeUp (  const dbm_t &  arg,
cindex_t  k
)  [inline]
 

base::ItemAllocator<alloc_ifed_t> dbm::ifed_allocator (  200   ) 
 

dbm_t dbm::init (  cindex_t  dim  )  [inline]
 

static dbmlist_t dbm::internSubtract (  fdbm_t *  fdbm1,
const raw_t *  dbm2,
cindex_t  dim,
const uint32_t *  bits,
size_t  bitsSize,
size_t  nbConstraints
)  [static]
 

static bool dbm::isPointer (  const void *  ptr  )  [inline, static]
 

Returns:
true if ptr is a non null pointer, mainly for debugging.

static int32_t dbm::min (  int32_t  a,
int32_t  b
)  [static]
 

fed_t dbm::operator & (  const std::vector< constraint_t > &  vec,
const fed_t &  a
)  [inline]
 

fed_t dbm::operator & (  const fed_t &  a,
const std::vector< constraint_t > &  vec
)  [inline]
 

dbm_t dbm::operator & (  const std::vector< constraint_t > &  vec,
const dbm_t &  a
)  [inline]
 

dbm_t dbm::operator & (  const dbm_t &  a,
const std::vector< constraint_t > &  vec
)  [inline]
 

fed_t dbm::operator & (  const base::pointer_t< constraint_t > &  c,
const fed_t &  a
)  [inline]
 

fed_t dbm::operator & (  const fed_t &  a,
const base::pointer_t< constraint_t > &  c
)  [inline]
 

dbm_t dbm::operator & (  const base::pointer_t< constraint_t > &  c,
const dbm_t &  a
)  [inline]
 

dbm_t dbm::operator & (  const dbm_t &  a,
const base::pointer_t< constraint_t > &  c
)  [inline]
 

fed_t dbm::operator & (  const constraint_t &  c,
const fed_t &  a
)  [inline]
 

fed_t dbm::operator & (  const fed_t &  a,
const constraint_t &  c
)  [inline]
 

dbm_t dbm::operator & (  const constraint_t &  c,
const dbm_t &  a
)  [inline]
 

dbm_t dbm::operator & (  const dbm_t &  a,
const constraint_t &  c
)  [inline]
 

fed_t dbm::operator & (  const fed_t &  a,
const fed_t &  b
)  [inline]
 

fed_t dbm::operator & (  const fed_t &  a,
const dbm_t &  b
)  [inline]
 

fed_t dbm::operator & (  const dbm_t &  a,
const fed_t &  b
)  [inline]
 

dbm_t dbm::operator & (  const dbm_t &  a,
const dbm_t &  b
)  [inline]
 

fed_t dbm::operator & (  const fed_t &  a,
const raw_t *  b
)  [inline]
 

dbm_t dbm::operator & (  const dbm_t &  a,
const raw_t *  b
)  [inline]
 

dbm_t dbm::operator+ (  const fed_t &  a,
const fed_t &  b
)  [inline]
 

dbm_t dbm::operator+ (  const fed_t &  a,
const dbm_t &  b
)  [inline]
 

dbm_t dbm::operator+ (  const dbm_t &  a,
const fed_t &  b
)  [inline]
 

dbm_t dbm::operator+ (  const dbm_t &  a,
const dbm_t &  b
)  [inline]
 

dbm_t dbm::operator+ (  const fed_t &  a,
const raw_t *  b
)  [inline]
 

dbm_t dbm::operator+ (  const dbm_t &  a,
const raw_t *  b
)  [inline]
 

static DoubleValuation& dbm::operator+= (  DoubleValuation &  d,
int32_t  v
)  [inline, static]
 

Overload += for automatic cast.

fed_t dbm::operator- (  const fed_t &  a,
const fed_t &  b
)  [inline]
 

fed_t dbm::operator- (  const dbm_t &  a,
const fed_t &  b
)  [inline]
 

fed_t dbm::operator- (  const fed_t &  a,
const dbm_t &  b
)  [inline]
 

fed_t dbm::operator- (  const dbm_t &  a,
const dbm_t &  b
)  [inline]
 

fed_t dbm::operator- (  const fed_t &  a,
const raw_t *  b
)  [inline]
 

fed_t dbm::operator- (  const dbm_t &  a,
const raw_t *  b
)  [inline]
 

static std::ostream& dbm::operator<< (  std::ostream &  os,
const DoubleValuation &  d
)  [inline, static]
 

Overload << DoubleValuation.

static std::ostream& dbm::operator<< (  std::ostream &  os,
const IntValuation &  i
)  [inline, static]
 

Overload << IntValuation.

std::ostream & dbm::operator<< (  std::ostream &  os,
const dbm::fed_t &  fed
) 
 

Operator overload.

Parameters:
fed,: federation to print.

std::ostream & dbm::operator<< (  std::ostream &  os,
const dbm::dbm_t &  dbm
) 
 

Operator overload.

Parameters:
dbm,: DBM to print.

fed_t dbm::operator| (  const fed_t &  a,
const fed_t &  b
)  [inline]
 

fed_t dbm::operator| (  const dbm_t &  a,
const fed_t &  b
)  [inline]
 

fed_t dbm::operator| (  const fed_t &  a,
const dbm_t &  b
)  [inline]
 

fed_t dbm::operator| (  const dbm_t &  a,
const dbm_t &  b
)  [inline]
 

fed_t dbm::operator| (  const fed_t &  a,
const raw_t *  b
)  [inline]
 

fed_t dbm::operator| (  const dbm_t &  a,
const raw_t *  b
)  [inline]
 

fed_t dbm::predt (  const raw_t *  good,
const raw_t *  bad,
cindex_t  dim
)  [inline]
 

fed_t dbm::predt (  const raw_t *  good,
cindex_t  dim,
const dbm_t &  bad
)  [inline]
 

fed_t dbm::predt (  const raw_t *  good,
cindex_t  dim,
const fed_t &  bad
)  [inline]
 

fed_t dbm::predt (  const dbm_t &  good,
const raw_t *  bad,
cindex_t  dim
)  [inline]
 

fed_t dbm::predt (  const dbm_t &  good,
const dbm_t &  bad
)  [inline]
 

fed_t dbm::predt (  const dbm_t &  good,
const fed_t &  bad
)  [inline]
 

fed_t dbm::predt (  const fed_t &  good,
const raw_t *  bad,
cindex_t  dim
)  [inline]
 

fed_t dbm::predt (  const fed_t &  good,
const dbm_t &  bad
)  [inline]
 

fed_t dbm::predt (  const fed_t &  good,
const fed_t &  bad
)  [inline]
 

fed_t dbm::reduce (  const fed_t &  arg  )  [inline]
 

fed_t dbm::relaxDown (  const fed_t &  arg  )  [inline]
 

dbm_t dbm::relaxDown (  const dbm_t &  arg  )  [inline]
 

fed_t dbm::relaxDownClock (  const fed_t &  arg,
cindex_t  k
)  [inline]
 

dbm_t dbm::relaxDownClock (  const dbm_t &  arg,
cindex_t  k
)  [inline]
 

fed_t dbm::relaxUp (  const fed_t &  arg  )  [inline]
 

dbm_t dbm::relaxUp (  const dbm_t &  arg  )  [inline]
 

fed_t dbm::relaxUpClock (  const fed_t &  arg,
cindex_t  k
)  [inline]
 

dbm_t dbm::relaxUpClock (  const dbm_t &  arg,
cindex_t  k
)  [inline]
 

static void dbm::sat_assert (  fdbm_t *  f,
const constraint_t &  c
)  [inline, static]
 

static constraint_t dbm::sat_collect (  const fdbm_t *  f,
const constraint_t &  c
)  [inline, static]
 

fed_t dbm::up (  const fed_t &  arg  )  [inline]
 

Straight-forward wrapper functions:.

Returns:
fed_t(arg).function(other arguments)

dbm_t dbm::up (  const dbm_t &  arg  )  [inline]
 

Straight-forward wrapper functions:.

Returns:
dbm_t(arg).function(other arguments)

static int32_t dbm::worstValue (  const raw_t *  dbm1,
const raw_t *  dbm2,
cindex_t  dim,
cindex_t  i,
cindex_t  j
)  [static]
 

dbm_t dbm::zero (  cindex_t  dim  )  [inline]
 

Create zero or init dbm_t with a given dimension.

Variable Documentation

DBMAllocator dbm::dbm_allocator
 

DBMTable dbm::dbm_table
 

One instance for the DBM table.

base::ItemAllocator<alloc_fdbm_t> dbm::fdbm_allocator(600)
 

Allocator instance.

base::ItemAllocator<alloc_ifed_t> dbm::ifed_allocator(200)
 

Generated on Fri Jun 30 00:02:47 2006 for Module dbm by  doxygen 1.4.2