Gecode::Int::Linear::NoView Class Reference

No view serves as filler for empty view arrays. More...

`#include <int-noview.hpp>`

## Related Symbols

(Note that these are not member symbols.)
template<class Char, class Traits>
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const NoView &)
| Print integer variable view.

## Constructors and initialization

| NoView (void)
| Default constructor.

## Value access

int | min (void) const
| Return minimum of domain.
int | max (void) const
| Return maximum of domain.
int | med (void) const
| Return median of domain (greatest element not greater than the median).
int | val (void) const
| Return assigned value (only if assigned).
unsigned int | size (void) const
| Return size (cardinality) of domain.
unsigned int | width (void) const
| Return width of domain (distance between maximum and minimum).
unsigned int | regret_min (void) const
| Return regret of domain minimum (distance to next larger value).
unsigned int | regret_max (void) const
| Return regret of domain maximum (distance to next smaller value).

## Domain tests

bool | range (void) const
| Test whether domain is a range.
bool | assigned (void) const
| Test whether view is assigned.
bool | in (int n) const
| Test whether n is contained in domain.
bool | in (long long int n) const
| Test whether n is contained in domain.

## Domain update by value

ModEvent | lq (Space &home, int n)
| Restrict domain values to be less or equal than n.
ModEvent | lq (Space &home, long long int n)
| Restrict domain values to be less or equal than n.
ModEvent | le (Space &home, int n)
| Restrict domain values to be less than n.
ModEvent | le (Space &home, long long int n)
| Restrict domain values to be less than n.
ModEvent | gq (Space &home, int n)
| Restrict domain values to be greater or equal than n.
ModEvent | gq (Space &home, long long int n)
| Restrict domain values to be greater or equal than n.
ModEvent | gr (Space &home, int n)
| Restrict domain values to be greater than n.
ModEvent | gr (Space &home, long long int n)
| Restrict domain values to be greater than n.
ModEvent | nq (Space &home, int n)
| Restrict domain values to be different from n.
ModEvent | nq (Space &home, long long int n)
| Restrict domain values to be different from n.
ModEvent | eq (Space &home, int n)
| Restrict domain values to be equal to n.
ModEvent | eq (Space &home, long long int n)
| Restrict domain values to be equal to n.

## Additional Inherited Members

Public Types inherited from Gecode::ConstView< IntView >
typedef IntView::VarImpType | VarImpType
| The variable implementation type corresponding to the constant view.
typedef IntView::VarType | VarType
| The variable type corresponding to the constant view.
unsigned int | degree (void) const
| Return degree (number of subscribed propagators and advisors).
double | afc (void) const
| Return accumulated failure count.
VarImpType * | varimp (void) const
| Return dummy variable implementation of view.
bool | assigned (void) const
| Test whether view is assigned.
void | subscribe (Space &home, Propagator &p, PropCond pc, bool schedule=true)
| Subscribe propagator p with propagation condition pc to view.
void | cancel (Space &home, Propagator &p, PropCond pc)
| Cancel subscription of propagator p with propagation condition pc to view.
void | reschedule (Space &home, Propagator &p, PropCond pc)
| Re-schedule propagator p with propagation condition pc.
void | update (Space &home, ConstView &y)
| Update this view to be a clone of view y.
bool | operator< (const ConstView &y) const
| Whether this view comes before view y (arbitray order).
static bool | varderived (void)
| Return whether this view is derived from a VarImpView.
static void | schedule (Space &home, Propagator &p, ModEvent me)
| Schedule propagator p with modification event me.
static ModEvent | me (const ModEventDelta &med)
| Return modification event for view type in med.
static ModEventDelta | med (ModEvent me)
| Translate modification event me to modification event delta for view.
static ModEvent | modevent (const Delta &d)
| Return modification event.

## Detailed Description

No view serves as filler for empty view arrays.

Definition at line 42 of file int-noview.hpp.

## Constructor & Destructor Documentation

## NoView()

Gecode::Int::Linear::NoView::NoView | ( | void |  | ) |

inline

Default constructor.

Definition at line 47 of file int-noview.hpp.

## Member Function Documentation

## min()

int Gecode::Int::Linear::NoView::min | ( | void |  | ) | const

inline

Return minimum of domain.

Definition at line 53 of file int-noview.hpp.

## max()

int Gecode::Int::Linear::NoView::max | ( | void |  | ) | const

inline

Return maximum of domain.

Definition at line 55 of file int-noview.hpp.

## med()

int Gecode::Int::Linear::NoView::med | ( | void |  | ) | const

inline

Return median of domain (greatest element not greater than the median).

Definition at line 57 of file int-noview.hpp.

## val()

int Gecode::Int::Linear::NoView::val | ( | void |  | ) | const

inline

Return assigned value (only if assigned).

Definition at line 59 of file int-noview.hpp.

## size()

unsigned int Gecode::Int::Linear::NoView::size | ( | void |  | ) | const

inline

Return size (cardinality) of domain.

Definition at line 62 of file int-noview.hpp.

## width()

unsigned int Gecode::Int::Linear::NoView::width | ( | void |  | ) | const

inline

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

Definition at line 64 of file int-noview.hpp.

## regret_min()

unsigned int Gecode::Int::Linear::NoView::regret_min | ( | void |  | ) | const

inline

Return regret of domain minimum (distance to next larger value).

Definition at line 66 of file int-noview.hpp.

## regret_max()

unsigned int Gecode::Int::Linear::NoView::regret_max | ( | void |  | ) | const

inline

Return regret of domain maximum (distance to next smaller value).

Definition at line 68 of file int-noview.hpp.

## range()

bool Gecode::Int::Linear::NoView::range | ( | void |  | ) | const

inline

Test whether domain is a range.

Definition at line 74 of file int-noview.hpp.

## assigned()

bool Gecode::Int::Linear::NoView::assigned | ( | void |  | ) | const

inline

Test whether view is assigned.

Definition at line 76 of file int-noview.hpp.

## in() [1/2]

bool Gecode::Int::Linear::NoView::in | ( | int | n | ) | const

inline

Test whether n is contained in domain.

Definition at line 79 of file int-noview.hpp.

## in() [2/2]

bool Gecode::Int::Linear::NoView::in | ( | long long int | n | ) | const

inline

Test whether n is contained in domain.

Definition at line 81 of file int-noview.hpp.

## lq() [1/2]

ModEvent Gecode::Int::Linear::NoView::lq | ( | Space & | home,
|  | int | n )

inline

Restrict domain values to be less or equal than n.

Definition at line 87 of file int-noview.hpp.

## lq() [2/2]

ModEvent Gecode::Int::Linear::NoView::lq | ( | Space & | home,
|  | long long int | n )

inline

Restrict domain values to be less or equal than n.

Definition at line 92 of file int-noview.hpp.

## le() [1/2]

ModEvent Gecode::Int::Linear::NoView::le | ( | Space & | home,
|  | int | n )

inline

Restrict domain values to be less than n.

Definition at line 97 of file int-noview.hpp.

## le() [2/2]

ModEvent Gecode::Int::Linear::NoView::le | ( | Space & | home,
|  | long long int | n )

inline

Restrict domain values to be less than n.

Definition at line 102 of file int-noview.hpp.

## gq() [1/2]

ModEvent Gecode::Int::Linear::NoView::gq | ( | Space & | home,
|  | int | n )

inline

Restrict domain values to be greater or equal than n.

Definition at line 107 of file int-noview.hpp.

## gq() [2/2]

ModEvent Gecode::Int::Linear::NoView::gq | ( | Space & | home,
|  | long long int | n )

inline

Restrict domain values to be greater or equal than n.

Definition at line 112 of file int-noview.hpp.

## gr() [1/2]

ModEvent Gecode::Int::Linear::NoView::gr | ( | Space & | home,
|  | int | n )

inline

Restrict domain values to be greater than n.

Definition at line 117 of file int-noview.hpp.

## gr() [2/2]

ModEvent Gecode::Int::Linear::NoView::gr | ( | Space & | home,
|  | long long int | n )

inline

Restrict domain values to be greater than n.

Definition at line 122 of file int-noview.hpp.

## nq() [1/2]

ModEvent Gecode::Int::Linear::NoView::nq | ( | Space & | home,
|  | int | n )

inline

Restrict domain values to be different from n.

Definition at line 127 of file int-noview.hpp.

## nq() [2/2]

ModEvent Gecode::Int::Linear::NoView::nq | ( | Space & | home,
|  | long long int | n )

inline

Restrict domain values to be different from n.

Definition at line 132 of file int-noview.hpp.

## eq() [1/2]

ModEvent Gecode::Int::Linear::NoView::eq | ( | Space & | home,
|  | int | n )

inline

Restrict domain values to be equal to n.

Definition at line 137 of file int-noview.hpp.

## eq() [2/2]

ModEvent Gecode::Int::Linear::NoView::eq | ( | Space & | home,
|  | long long int | n )

inline

Restrict domain values to be equal to n.

Definition at line 142 of file int-noview.hpp.

## Friends And Related Symbol Documentation

## operator<<()

template<class Char, class Traits>

std::basic_ostream< Char, Traits > & operator<< | ( | std::basic_ostream< Char, Traits > & | os,
|  | const NoView & | )

related

Print integer variable view.

Definition at line 1 of file int-noview.hpp.

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

- gecode/int/linear/int-noview.hpp