SmallRevBitSet

Detailed Description

This class represents a small reversible bitset (size <= 64).

This class is useful to maintain supports.

Definition at line 410 of file constraint_solveri.h.

Public Member Functions
	SmallRevBitSet (int64 size)
void	SetToOne (Solver *const solver, int64 pos)
	Sets the 'pos' bit. More...
void	SetToZero (Solver *const solver, int64 pos)
	Erases the 'pos' bit. More...
int64	Cardinality () const
	Returns the number of bits set to one. More...
bool	IsCardinalityZero () const
	Is bitset null? More...
bool	IsCardinalityOne () const
	Does it contains only one bit set? More...
int64	GetFirstOne () const
	Gets the index of the first bit set starting from 0. More...

Constructor & Destructor Documentation

SmallRevBitSet()

SmallRevBitSet ( int64  size )

explicit

Member Function Documentation

Cardinality()

int64 Cardinality

(

)

const

Returns the number of bits set to one.

GetFirstOne()

int64 GetFirstOne

(

)

const

Gets the index of the first bit set starting from 0.

It returns -1 if the bitset is empty.

IsCardinalityOne()

bool IsCardinalityOne ( ) const

inline

Does it contains only one bit set?

Definition at line 422 of file constraint_solveri.h.

IsCardinalityZero()

bool IsCardinalityZero ( ) const

inline

Is bitset null?

Definition at line 420 of file constraint_solveri.h.

SetToOne()

void SetToOne	(	Solver *const	solver,
		int64	pos
	)

Sets the 'pos' bit.

SetToZero()

void SetToZero	(	Solver *const	solver,
		int64	pos
	)

Erases the 'pos' bit.

---

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

• constraint_solveri.h