Trace delta information for Boolean variables.
More...
#include <int.hh>
|
bool | operator() (void) const |
| Test whether iterator is still at a range or done.
|
void | operator++ (void) |
| Move iterator to next range (if possible)
|
|
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)
|
Trace delta information for Boolean variables.
Definition at line 5563 of file int.hh.
◆ BoolTraceDelta()
Initialize with old trace view o, new view n, and delta d.
Definition at line 37 of file bool-delta.hpp.
◆ operator()()
bool Gecode::BoolTraceDelta::operator() |
( |
void | | ) |
const |
|
inline |
◆ operator++()
void Gecode::BoolTraceDelta::operator++ |
( |
void | | ) |
|
|
inline |
Move iterator to next range (if possible)
Definition at line 45 of file bool-delta.hpp.
◆ min()
int Gecode::BoolTraceDelta::min |
( |
void | | ) |
const |
|
inline |
◆ max()
int Gecode::BoolTraceDelta::max |
( |
void | | ) |
const |
|
inline |
◆ width()
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.
◆ delta
int Gecode::BoolTraceDelta::delta |
|
protected |
The documentation for this class was generated from the following files: