Generated on Thu Apr 11 14:00:05 2019 for Gecode by doxygen 1.6.3

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

Simple bitsets for recording violations. More...

#include <violations.hpp>

List of all members.

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.


Constructor & Destructor Documentation

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

Default constructor.

Definition at line 61 of file violations.hpp.


Member Function Documentation

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.


Member Data Documentation

unsigned int Gecode::Int::Sequence::Violations::fst [mutable, protected]

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: