Diades::Sdmdl::CubeGenerator Class Reference

#include <CubeGenerator.hh>

Public Member Functions
	CubeGenerator (const Formula &f1)
	~CubeGenerator ()
bool	isEmpty () const
int	cubeSize () const
int *	currentCube () const
void	nextCube ()

Private Attributes
DdGen *	gen
int *	cube
CUDD_VALUE_TYPE	value
const Formula &	f

Detailed Description

Definition at line 15 of file CubeGenerator.hh.

Constructor & Destructor Documentation

CubeGenerator()

Diades::Sdmdl::CubeGenerator::CubeGenerator ( const Formula &  f1 )

inline

Definition at line 24 of file CubeGenerator.hh.

References Diades::Sdmdl::Formula::bdd(), Diades::Sdmdl::Formula::bddManager(), Diades::Sdmdl::Formula::isNull(), and require.

~CubeGenerator()

Diades::Sdmdl::CubeGenerator::~CubeGenerator ( )

inline

Definition at line 29 of file CubeGenerator.hh.

Member Function Documentation

cubeSize()

int Diades::Sdmdl::CubeGenerator::cubeSize ( ) const

inline

Definition at line 32 of file CubeGenerator.hh.

References Diades::Sdmdl::Formula::bddManager().

Referenced by Diades::Sdmdl::Rule::generateCubes().

currentCube()

int* Diades::Sdmdl::CubeGenerator::currentCube ( ) const

inline

Definition at line 33 of file CubeGenerator.hh.

Referenced by Diades::Sdmdl::Rule::generateCubes().

isEmpty()

bool Diades::Sdmdl::CubeGenerator::isEmpty ( ) const

inline

Definition at line 31 of file CubeGenerator.hh.

Referenced by Diades::Sdmdl::Rule::generateCubes().

nextCube()

void Diades::Sdmdl::CubeGenerator::nextCube ( )

inline

Definition at line 35 of file CubeGenerator.hh.

Referenced by Diades::Sdmdl::Rule::generateCubes().

Member Data Documentation

cube

int* Diades::Sdmdl::CubeGenerator::cube

private

Definition at line 19 of file CubeGenerator.hh.

f

const Formula& Diades::Sdmdl::CubeGenerator::f

private

Definition at line 21 of file CubeGenerator.hh.

gen

DdGen* Diades::Sdmdl::CubeGenerator::gen

private

Definition at line 18 of file CubeGenerator.hh.

value

CUDD_VALUE_TYPE Diades::Sdmdl::CubeGenerator::value

private

Definition at line 20 of file CubeGenerator.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/sdmdl/CubeGenerator.hh