Generated on Fri Oct 19 11:25:46 2018 for Gecode by doxygen 1.6.3

Gecode::BoolTraceDelta Class Reference
[Tracing for integer and Boolean variables]

Trace delta information for Boolean variables. More...

#include <int.hh>

List of all members.

Protected Attributes

int delta
 Delta information.

Constructors and initialization



 BoolTraceDelta (Int::BoolTraceView o, Int::BoolView n, const Delta &d)
 Initialize with old trace view o, new view n, and delta d.

Iteration control



bool operator() (void) const
 Test whether iterator is still at a range or done.
void operator++ (void)
 Move iterator to next range (if possible).

Range access



int min (void) const
 Return smallest value of range.
int max (void) const
 Return largest value of range.
unsigned int width (void) const
 Return width of range (distance between minimum and maximum).

Detailed Description

Trace delta information for Boolean variables.

Definition at line 5418 of file int.hh.


Constructor & Destructor Documentation

Gecode::BoolTraceDelta::BoolTraceDelta ( Int::BoolTraceView  o,
Int::BoolView  n,
const Delta d 
) [inline]

Initialize with old trace view o, new view n, and delta d.

Definition at line 37 of file bool-delta.hpp.


Member Function Documentation

bool Gecode::BoolTraceDelta::operator() ( void   )  const [inline]

Test whether iterator is still at a range or done.

Definition at line 41 of file bool-delta.hpp.

void Gecode::BoolTraceDelta::operator++ ( void   )  [inline]

Move iterator to next range (if possible).

Definition at line 45 of file bool-delta.hpp.

int Gecode::BoolTraceDelta::min ( void   )  const [inline]

Return smallest value of range.

Definition at line 49 of file bool-delta.hpp.

int Gecode::BoolTraceDelta::max ( void   )  const [inline]

Return largest value of range.

Definition at line 53 of file bool-delta.hpp.

unsigned int Gecode::BoolTraceDelta::width ( void   )  const [inline]

Return width of range (distance between minimum and maximum).

Definition at line 57 of file bool-delta.hpp.


Member Data Documentation

Delta information.

Definition at line 5421 of file int.hh.


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