Federation.h File Reference

#include <new>
#include <cstddef>
#include <iostream>
#include "dbm/dbmfederation.h"
#include "base/bitstring.h"

Go to the source code of this file.

Namespaces
namespace	state
namespace	dbm
Defines
#define	ASSERT_CLOCK_INDEX(I)   assert(dbmAllocator && (I) < dbmAllocator->maxDim && indexTable[I] < getNumberOfClocks())
	Macro to check common assumptions on clock indices to be translated to DBM indices.
#define	LOCAL_FEDERATION(NAME, NBCLOCKS, FACTORY)
	Macro to declare on the stack a Federation (hack).
#define	LOCAL_ACTIVE_FEDERATION(NAME, NBCLOCKS, FACTORY, ACTIVE, ACTIVESIZE)
	Similar macro to LOCAL_FEDERATION with active clocks.
Functions
static std::ostream &	operator<< (std::ostream &os, const dbm::Federation &fed)
static void	operator>> (std::istream &is, dbm::Federation &fed)

---

Define Documentation

#define ASSERT_CLOCK_INDEX (  I   )     assert(dbmAllocator && (I) < dbmAllocator->maxDim && indexTable[I] < getNumberOfClocks())

Macro to check common assumptions on clock indices to be translated to DBM indices. Parameters: I,:  index to check.

#define LOCAL_ACTIVE_FEDERATION (  NAME, NBCLOCKS, FACTORY, ACTIVE, ACTIVESIZE   )

Value: char local_##NAME[Federation::getSizeOfFederationFor((FACTORY)->maxDim)];\ Federation *NAME = (Federation*) local_##NAME; \ NAME->initFederation(FACTORY, NBCLOCKS, ACTIVE, ACTIVESIZE) Similar macro to LOCAL_FEDERATION with active clocks. Parameters: NAME,:  name of the federation to use (as a pointer) NBCLOCKS,:  number of clocks for the federation FACTORY,:  factory to use for this federation ACTIVE,:  bitstring marking active clocks ACTIVESIZE,:  size of ACTIVE (in ints) Note: this hack only works because there is no virtual method.

#define LOCAL_FEDERATION (  NAME, NBCLOCKS, FACTORY   )

Value: char local_##NAME[Federation::getSizeOfFederationFor((FACTORY)->maxDim)];\ Federation *NAME = (Federation*) local_##NAME; \ NAME->initFederation(FACTORY, NBCLOCKS) Macro to declare on the stack a Federation (hack). Parameters: NAME,:  name of the federation to use (as a pointer) NBCLOCKS,:  number of clocks for the federation FACTORY,:  factory to use for this federation Note: this hack only works because there is no virtual method.

---

Function Documentation

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

static void operator>> (  std::istream &  is, dbm::Federation &  fed )  [inline, static]

---