Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members
include / dbm

fed.h File Reference

This API offers access to DBMs and federations (of DBMs) through 2 classes: dbm_t and fed_t. More...

#include <stdexcept>
#include <vector>
#include <string>
#include "base/pointer.h"
#include "base/Object.h"
#include "dbm/dbm.h"
#include "dbm/mingraph.h"
#include "dbm/Valuation.h"
#include "dbm/inline_fed.h"

Go to the source code of this file.

Namespaces

namespace  dbm

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.

Detailed Description

This API offers access to DBMs and federations (of DBMs) through 2 classes: dbm_t and fed_t.

These classes hide memory management and reference counting. Copy-on-write semantics is implemented.

Function Documentation

void dbm::cleanUp (   ) 
 

Clean-up function useful for testing.

Deallocate internally allocated DBMs that are currently free.

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]
 

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]
 

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

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]
 

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::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]
 

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)

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

Create zero or init dbm_t with a given dimension.

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