Gecode::Int::Sequence::Violations Class Reference

Simple bitsets for recording violations. More...

Public Member Functions
	Violations (void)
	Default constructor.
void	init (Space &home, unsigned int n)
	Initialize violation set for n violations.
void	update (Space &home, Violations &v)
	Update violation set during cloning.
bool	empty (void) const
	Return whether set is empty.
void	add (unsigned int i)
	Add i to violation set.
unsigned int	get (void)
	Get first element from violation set and remove it.
Protected Attributes
unsigned int	fst
	The (possibly) first set bit (set is empty if fst == sz).

Detailed Description

Simple bitsets for recording violations.

Definition at line 40 of file violations.hpp.

Gecode::Int::Sequence::Violations::Violations ( void ) [inline]

Default constructor.

Definition at line 61 of file violations.hpp.

void Gecode::Int::Sequence::Violations::init	(	Space &	home,
		unsigned int	n
	)			`[inline]`

Initialize violation set for n violations.

Definition at line 64 of file violations.hpp.

void Gecode::Int::Sequence::Violations::update	(	Space &	home,
		Violations &	v
	)			`[inline]`

Update violation set during cloning.

Definition at line 76 of file violations.hpp.

bool Gecode::Int::Sequence::Violations::empty ( void ) const [inline]

Return whether set is empty.

Definition at line 70 of file violations.hpp.

void Gecode::Int::Sequence::Violations::add ( unsigned int i ) [inline]

Add i to violation set.

Definition at line 82 of file violations.hpp.

unsigned int Gecode::Int::Sequence::Violations::get ( void ) [inline]

Get first element from violation set and remove it.

Definition at line 87 of file violations.hpp.

The (possibly) first set bit (set is empty if fst == sz).

Definition at line 43 of file violations.hpp.

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