wrapper.h File Reference

Go to the source code of this file.

Namespaces
namespace	udbm
Defines
#define	CHECKD(A)   if ( dim() != (A).dim()) throw IncompatibleDBM()
#define	CHECKSD(A, B)   if ((A).dim() != (B).dim()) throw IncompatibleDBM()
#define	CHECKF(A)   if ( dim() != (A).dim()) throw IncompatibleFed()
#define	CHECKSF(A, B)   if ((A).dim() != (B).dim()) throw IncompatibleFed()
Typedefs
typedef int	relation_t
Enumerations
enum	{ DIFFERENT = 0, SUPERSET = 1, SUBSET = 2, EQUAL = 3 }
Functions
Fed	operator- (const DBM &arg1, const DBM &arg2) throw (IncompatibleDBM)
Fed	operator- (const DBM &arg1, const Fed &arg2) throw (IncompatibleFed)
static int	inf ()
Variables
static const Constraint	ZERO = Constraint(0)
static const Constraint	INF = Constraint(dbm_INFINITY)

---

Define Documentation

#define CHECKD (  A   )     if ( dim() != (A).dim()) throw IncompatibleDBM()

#define CHECKF (  A   )     if ( dim() != (A).dim()) throw IncompatibleFed()

#define CHECKSD (  A, B   )     if ((A).dim() != (B).dim()) throw IncompatibleDBM()

#define CHECKSF (  A, B   )     if ((A).dim() != (B).dim()) throw IncompatibleFed()

---

Typedef Documentation

typedef int relation_t

---

Enumeration Type Documentation

anonymous enum

Enumeration values: DIFFERENT  SUPERSET  SUBSET  EQUAL

---

Function Documentation

static int udbm::inf (   )  [inline, static]

Fed udbm::operator- (  const DBM &  arg1, const Fed &  arg2 )  throw (IncompatibleFed) [inline]

Fed udbm::operator- (  const DBM &  arg1, const DBM &  arg2 )  throw (IncompatibleDBM) [inline]

---

Variable Documentation

const Constraint udbm::INF = Constraint(dbm_INFINITY) [static]

const Constraint udbm::ZERO = Constraint(0) [static]

---