udbm::Fed Class Reference

#include <wrapper.h>

List of all members.

Public Member Functions
	Fed (int d) throw (InvalidDimension)
	Fed (const DBM &arg)
	Fed (const Fed &arg)
Fed &	operator= (const Fed &arg)
	~Fed ()
Fed &	add (const FedArray &arr) throw (IncompatibleDBM)
Fed &	add (const DBMMatrix &m) throw (IncompatibleDBM)
Fed &	add (const DBM &arg) throw (IncompatibleDBM)
Fed &	add (const Fed &arg) throw (IncompatibleFed)
char *	to_s () throw (std::bad_alloc)
int	size () const
int	dim () const
bool	isEmpty () const
Fed	copy () const
bool	isUnbounded () const
void	setEmpty ()
void	intern ()
void	setZero ()
void	setInit ()
relation_t	relation (const DBM &arg) const throw (IncompatibleDBM)
relation_t	relation (const Fed &arg) const throw (IncompatibleFed)
relation_t	exactRelation (const DBM &arg) const throw (IncompatibleDBM)
relation_t	exactRelation (const Fed &arg) const throw (IncompatibleFed)
Fed	operator+ (const DBM &arg) const throw (IncompatibleDBM)
Fed	operator+ (const Fed &arg) const throw (IncompatibleFed)
Fed &	convexHull (const DBM &arg) throw (IncompatibleDBM)
Fed &	convexHull (const Fed &arg) throw (IncompatibleFed)
Fed &	convexHull ()
bool	constrainClock (int clk, int value)
bool	constrain (int i, int j, Constraint &c)
bool	constrain (int i, int j, int bound, bool strict)
Fed	operator & (const DBM &arg) throw (IncompatibleDBM)
Fed	operator & (const Fed &arg) throw (IncompatibleFed)
bool	intersects (const DBM &arg) const throw (IncompatibleDBM)
bool	intersects (const Fed &arg) const throw (IncompatibleFed)
Fed &	intersectionWith (const DBM &arg) throw (IncompatibleDBM)
Fed &	intersectionWith (const Fed &arg) throw (IncompatibleFed)
bool	has (const DBM &arg) const throw (IncompatibleDBM)
Fed &	applyUp ()
Fed &	applyDown ()
Fed &	applyFreeClock (int clk)
Fed &	applyFreeUp (int clk)
Fed &	applyFreeDown (int clk)
Fed &	applyFreeAllUp ()
Fed &	applyFreeAllDown ()
Fed &	updateValue (int x, int v)
Fed &	updateClock (int x, int y)
Fed &	updateIncrement (int x, int v)
Fed &	updateGeneral (int x, int y, int v)
bool	satisfies (int i, int j, int bound, bool strict) const
bool	satisfies (int i, int j, const Constraint &c) const
Fed &	relaxUp ()
Fed &	relaxDown ()
Fed &	relaxUp (int k)
Fed &	relaxDown (int k)
Fed &	relaxAll ()
bool	isSubtractionEmpty (const DBM &arg) const throw (IncompatibleDBM)
bool	isSubtractionEmpty (const Fed &arg) const throw (IncompatibleFed)
Fed	operator| (const DBM &arg) const throw (IncompatibleDBM)
Fed	operator| (const Fed &arg) const throw (IncompatibleFed)
Fed &	unionWith (const DBM &arg) throw (IncompatibleDBM)
Fed &	unionWith (const Fed &arg) throw (IncompatibleFed)
Fed	operator- (const DBM &arg) const throw (IncompatibleDBM)
Fed	operator- (const Fed &arg) const throw (IncompatibleFed)
Fed &	subtract (const DBM &arg) throw (IncompatibleDBM)
Fed &	subtract (const Fed &arg) throw (IncompatibleFed)
Fed &	mergeReduce ()
Fed &	partitionReduce ()
Fed &	applyPredt (const DBM &bad) throw (IncompatibleDBM)
Fed &	applyPredt (const Fed &bad) throw (IncompatibleFed)
Fed &	removeIncludedIn (const DBM &arg) throw (IncompatibleDBM)
Fed &	removeIncludedIn (const Fed &arg) throw (IncompatibleFed)
bool	operator< (const DBM &arg) const throw (IncompatibleDBM)
bool	operator> (const DBM &arg) const throw (IncompatibleDBM)
bool	operator<= (const DBM &arg) const throw (IncompatibleDBM)
bool	operator>= (const DBM &arg) const throw (IncompatibleDBM)
bool	operator== (const DBM &arg) const throw (IncompatibleDBM)
bool	operator< (const Fed &arg) const throw (IncompatibleFed)
bool	operator> (const Fed &arg) const throw (IncompatibleFed)
bool	operator<= (const Fed &arg) const throw (IncompatibleFed)
bool	operator>= (const Fed &arg) const throw (IncompatibleFed)
bool	operator== (const Fed &arg) const throw (IncompatibleFed)
bool	isIncludedIn (const DBM &arg) const throw (IncompatibleDBM)
bool	isIncludedIn (const Fed &arg) const throw (IncompatibleFed)
bool	isStrictlyIncludedIn (const DBM &arg) const throw (IncompatibleDBM)
bool	isStrictlyIncludedIn (const Fed &arg) const throw (IncompatibleFed)
bool	contains (const DBMVector &v) const throw (IncompatibleDBMVector)
bool	contains (const DBMPoint &v) const throw (IncompatibleDBMPoint)
double	possibleBackDelay (const DBMPoint &pt) const throw (IncompatibleDBMPoint)
Fed &	extrapolateMaxBounds (const DBMVector &v) throw (IncompatibleDBMVector)
Fed &	diagonalExtrapolateMaxBounds (const DBMVector &v) throw (IncompatibleDBMVector)
Fed &	extrapolateLUBounds (const DBMVector &l, const DBMVector &u) throw (IncompatibleDBMVector)
Fed &	diagonalExtrapolateLUBounds (const DBMVector &l, const DBMVector &u) throw (IncompatibleDBMVector)
DBMPoint	getPoint () const throw (std::out_of_range,OutOfMemory,IllegalFirstValue,InvalidDimension)
Static Public Member Functions
static Fed	init (int dim) throw (InvalidDimension,DimensionTooLarge)
static Fed	zero (int dim) throw (InvalidDimension,DimensionTooLarge)
Private Member Functions
	Fed (const dbm::fed_t &arg)
Static Private Member Functions
static int	allocSize (int size, int dim)
Private Attributes
char *	str
dbm::fed_t	wfed
Friends
class	DBM

---

Constructor & Destructor Documentation

udbm::Fed::Fed (  int  d  )  throw (InvalidDimension) [inline]

udbm::Fed::Fed (  const DBM &  arg  )  [inline]

udbm::Fed::Fed (  const Fed &  arg  )  [inline]

udbm::Fed::~Fed (   )  [inline]

udbm::Fed::Fed (  const dbm::fed_t &  arg  )  [inline, private]

---

Member Function Documentation

Fed& udbm::Fed::add (  const Fed &  arg  )  throw (IncompatibleFed) [inline]

Fed& udbm::Fed::add (  const DBM &  arg  )  throw (IncompatibleDBM) [inline]

Fed& udbm::Fed::add (  const DBMMatrix &  m  )  throw (IncompatibleDBM) [inline]

Fed& udbm::Fed::add (  const FedArray &  arr  )  throw (IncompatibleDBM) [inline]

static int udbm::Fed::allocSize (  int  size, int  dim )  [inline, static, private]

Fed& udbm::Fed::applyDown (   )  [inline]

Fed& udbm::Fed::applyFreeAllDown (   )  [inline]

Fed& udbm::Fed::applyFreeAllUp (   )  [inline]

Fed& udbm::Fed::applyFreeClock (  int  clk  )  [inline]

Fed& udbm::Fed::applyFreeDown (  int  clk  )  [inline]

Fed& udbm::Fed::applyFreeUp (  int  clk  )  [inline]

Fed& udbm::Fed::applyPredt (  const Fed &  bad  )  throw (IncompatibleFed) [inline]

Fed& udbm::Fed::applyPredt (  const DBM &  bad  )  throw (IncompatibleDBM) [inline]

Fed& udbm::Fed::applyUp (   )  [inline]

bool udbm::Fed::constrain (  int  i, int  j, int  bound, bool  strict )  [inline]

bool udbm::Fed::constrain (  int  i, int  j, Constraint &  c )  [inline]

bool udbm::Fed::constrainClock (  int  clk, int  value )  [inline]

bool udbm::Fed::contains (  const DBMPoint &  v  )  const throw (IncompatibleDBMPoint) [inline]

bool udbm::Fed::contains (  const DBMVector &  v  )  const throw (IncompatibleDBMVector) [inline]

Fed& udbm::Fed::convexHull (   )  [inline]

Fed& udbm::Fed::convexHull (  const Fed &  arg  )  throw (IncompatibleFed) [inline]

Fed& udbm::Fed::convexHull (  const DBM &  arg  )  throw (IncompatibleDBM) [inline]

Fed udbm::Fed::copy (   )  const [inline]

Fed& udbm::Fed::diagonalExtrapolateLUBounds (  const DBMVector &  l, const DBMVector &  u )  throw (IncompatibleDBMVector) [inline]

Fed& udbm::Fed::diagonalExtrapolateMaxBounds (  const DBMVector &  v  )  throw (IncompatibleDBMVector) [inline]

int udbm::Fed::dim (   )  const [inline]

relation_t udbm::Fed::exactRelation (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

relation_t udbm::Fed::exactRelation (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

Fed& udbm::Fed::extrapolateLUBounds (  const DBMVector &  l, const DBMVector &  u )  throw (IncompatibleDBMVector) [inline]

Fed& udbm::Fed::extrapolateMaxBounds (  const DBMVector &  v  )  throw (IncompatibleDBMVector) [inline]

DBMPoint udbm::Fed::getPoint (   )  const throw (std::out_of_range,OutOfMemory,IllegalFirstValue,InvalidDimension) [inline]

bool udbm::Fed::has (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

static Fed udbm::Fed::init (  int  dim  )  throw (InvalidDimension,DimensionTooLarge) [inline, static]

void udbm::Fed::intern (   )  [inline]

Fed& udbm::Fed::intersectionWith (  const Fed &  arg  )  throw (IncompatibleFed) [inline]

Fed& udbm::Fed::intersectionWith (  const DBM &  arg  )  throw (IncompatibleDBM) [inline]

bool udbm::Fed::intersects (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::Fed::intersects (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::Fed::isEmpty (   )  const [inline]

bool udbm::Fed::isIncludedIn (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::Fed::isIncludedIn (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::Fed::isStrictlyIncludedIn (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::Fed::isStrictlyIncludedIn (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::Fed::isSubtractionEmpty (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::Fed::isSubtractionEmpty (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::Fed::isUnbounded (   )  const [inline]

Fed& udbm::Fed::mergeReduce (   )  [inline]

Fed udbm::Fed::operator & (  const Fed &  arg  )  throw (IncompatibleFed) [inline]

Fed udbm::Fed::operator & (  const DBM &  arg  )  throw (IncompatibleDBM) [inline]

Fed udbm::Fed::operator+ (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

Fed udbm::Fed::operator+ (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

Fed udbm::Fed::operator- (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

Fed udbm::Fed::operator- (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::Fed::operator< (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::Fed::operator< (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::Fed::operator<= (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::Fed::operator<= (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

Fed& udbm::Fed::operator= (  const Fed &  arg  )  [inline]

bool udbm::Fed::operator== (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::Fed::operator== (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::Fed::operator> (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::Fed::operator> (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::Fed::operator>= (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::Fed::operator>= (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

Fed udbm::Fed::operator| (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

Fed udbm::Fed::operator| (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

Fed& udbm::Fed::partitionReduce (   )  [inline]

double udbm::Fed::possibleBackDelay (  const DBMPoint &  pt  )  const throw (IncompatibleDBMPoint) [inline]

relation_t udbm::Fed::relation (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

relation_t udbm::Fed::relation (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

Fed& udbm::Fed::relaxAll (   )  [inline]

Fed& udbm::Fed::relaxDown (  int  k  )  [inline]

Fed& udbm::Fed::relaxDown (   )  [inline]

Fed& udbm::Fed::relaxUp (  int  k  )  [inline]

Fed& udbm::Fed::relaxUp (   )  [inline]

Fed& udbm::Fed::removeIncludedIn (  const Fed &  arg  )  throw (IncompatibleFed) [inline]

Fed& udbm::Fed::removeIncludedIn (  const DBM &  arg  )  throw (IncompatibleDBM) [inline]

bool udbm::Fed::satisfies (  int  i, int  j, const Constraint &  c )  const [inline]

bool udbm::Fed::satisfies (  int  i, int  j, int  bound, bool  strict )  const [inline]

void udbm::Fed::setEmpty (   )  [inline]

void udbm::Fed::setInit (   )  [inline]

void udbm::Fed::setZero (   )  [inline]

int udbm::Fed::size (   )  const [inline]

Fed& udbm::Fed::subtract (  const Fed &  arg  )  throw (IncompatibleFed) [inline]

Fed& udbm::Fed::subtract (  const DBM &  arg  )  throw (IncompatibleDBM) [inline]

char* udbm::Fed::to_s (   )  throw (std::bad_alloc) [inline]

Fed& udbm::Fed::unionWith (  const Fed &  arg  )  throw (IncompatibleFed) [inline]

Fed& udbm::Fed::unionWith (  const DBM &  arg  )  throw (IncompatibleDBM) [inline]

Fed& udbm::Fed::updateClock (  int  x, int  y )  [inline]

Fed& udbm::Fed::updateGeneral (  int  x, int  y, int  v )  [inline]

Fed& udbm::Fed::updateIncrement (  int  x, int  v )  [inline]

Fed& udbm::Fed::updateValue (  int  x, int  v )  [inline]

static Fed udbm::Fed::zero (  int  dim  )  throw (InvalidDimension,DimensionTooLarge) [inline, static]

---

Friends And Related Function Documentation

friend class DBM [friend]

---

Member Data Documentation

char* udbm::Fed::str [private]

dbm::fed_t udbm::Fed::wfed [private]

---

The documentation for this class was generated from the following file:

• /home/adavid/UPPAAL/trunk/server/modules/dbm/swig/wrapper.h

---