Generated on Wed Nov 1 15:05:18 2006 for Gecode by doxygen 1.4.5
Gecode::Int::Linear::NoView

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

Inherits Gecode::ConstantViewBase.

List of all members.

Detailed Description

No view serves as filler for empty view arrays.

Definition at line 30 of file noview.icc.

Constructors and initialization

 NoView (void)
 Default constructor.
void init (void)
 Initialize.

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.
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 (double 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, double 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, double 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, double 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, double 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, double 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, double n)
 Restrict domain values to be equal to n.

Dependencies

void subscribe (Space *home, Propagator *p, PropCond pc, bool process=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.

Cloning

void update (Space *home, bool share, NoView &x)
 Update this view to be a clone of view x.

View comparison

bool operator== (const NoView &x) const
 Test whether this view is the same as x.
bool operator!= (const NoView &x) const
 Test whether this view is not the same as x.
bool operator< (const NoView &x) const
 Test whether this view is smaller than x (arbitrary order).
bool operator> (const NoView &x) const
 Test whether this view is larger than x (arbitrary order).

Propagator modification events

static ModEvent pme (const Propagator *p)
 Return modification event of propagator p for view.
static PropModEvent pme (ModEvent me)
 Translate modification event me to propagator modification event for view.

Constructor & Destructor Documentation

Gecode::Int::Linear::NoView::NoView (  void   )  [inline]
 

Default constructor.

Definition at line 35 of file noview.icc.

Member Function Documentation

void Gecode::Int::Linear::NoView::init (  void   )  [inline]
 

Initialize.

Definition at line 37 of file noview.icc.

int Gecode::Int::Linear::NoView::min (  void   )  const [inline]
 

Return minimum of domain.

Definition at line 43 of file noview.icc.

int Gecode::Int::Linear::NoView::max (  void   )  const [inline]
 

Return maximum of domain.

Definition at line 45 of file noview.icc.

int Gecode::Int::Linear::NoView::med (  void   )  const [inline]
 

Return median of domain.

Definition at line 47 of file noview.icc.

int Gecode::Int::Linear::NoView::val (  void   )  const [inline]
 

Return assigned value (only if assigned).

Definition at line 49 of file noview.icc.

unsigned int Gecode::Int::Linear::NoView::size (  void   )  const [inline]
 

Return size (cardinality) of domain.

Definition at line 52 of file noview.icc.

unsigned int Gecode::Int::Linear::NoView::width (  void   )  const [inline]
 

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

Definition at line 54 of file noview.icc.

unsigned int Gecode::Int::Linear::NoView::regret_min (  void   )  const [inline]
 

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

Definition at line 56 of file noview.icc.

unsigned int Gecode::Int::Linear::NoView::regret_max (  void   )  const [inline]
 

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

Definition at line 58 of file noview.icc.

bool Gecode::Int::Linear::NoView::range (  void   )  const [inline]
 

Test whether domain is a range.

Definition at line 64 of file noview.icc.

bool Gecode::Int::Linear::NoView::assigned (  void   )  const [inline]
 

Test whether view is assigned.

Definition at line 66 of file noview.icc.

bool Gecode::Int::Linear::NoView::in (  int  n  )  const [inline]
 

Test whether n is contained in domain.

Definition at line 69 of file noview.icc.

bool Gecode::Int::Linear::NoView::in (  double  n  )  const [inline]
 

Test whether n is contained in domain.

Definition at line 71 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::lq (  Space *  home,
int  n
)  [inline]
 

Restrict domain values to be less or equal than n.

Definition at line 77 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::lq (  Space *  home,
double  n
)  [inline]
 

Restrict domain values to be less or equal than n.

Definition at line 79 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::le (  Space *  home,
int  n
)  [inline]
 

Restrict domain values to be less than n.

Definition at line 81 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::le (  Space *  home,
double  n
)  [inline]
 

Restrict domain values to be less than n.

Definition at line 83 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::gq (  Space *  home,
int  n
)  [inline]
 

Restrict domain values to be greater or equal than n.

Definition at line 85 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::gq (  Space *  home,
double  n
)  [inline]
 

Restrict domain values to be greater or equal than n.

Definition at line 87 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::gr (  Space *  home,
int  n
)  [inline]
 

Restrict domain values to be greater than n.

Definition at line 89 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::gr (  Space *  home,
double  n
)  [inline]
 

Restrict domain values to be greater than n.

Definition at line 91 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::nq (  Space *  home,
int  n
)  [inline]
 

Restrict domain values to be different from n.

Definition at line 93 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::nq (  Space *  home,
double  n
)  [inline]
 

Restrict domain values to be different from n.

Definition at line 95 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::eq (  Space *  home,
int  n
)  [inline]
 

Restrict domain values to be equal to n.

Definition at line 97 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::eq (  Space *  home,
double  n
)  [inline]
 

Restrict domain values to be equal to n.

Definition at line 99 of file noview.icc.

static ModEvent Gecode::Int::Linear::NoView::pme (  const Propagator *  p  )  [inline, static]
 

Return modification event of propagator p for view.

Definition at line 105 of file noview.icc.

static PropModEvent Gecode::Int::Linear::NoView::pme (  ModEvent  me  )  [inline, static]
 

Translate modification event me to propagator modification event for view.

Definition at line 107 of file noview.icc.

void Gecode::Int::Linear::NoView::subscribe (  Space *  home,
Propagator *  p,
PropCond  pc,
bool  process = true
)  [inline]
 

Subscribe propagator p with propagation condition pc to view.

Definition at line 113 of file noview.icc.

void Gecode::Int::Linear::NoView::cancel (  Space *  home,
Propagator *  p,
PropCond  pc
)  [inline]
 

Cancel subscription of propagator p with propagation condition pc to view.

Definition at line 115 of file noview.icc.

void Gecode::Int::Linear::NoView::update (  Space *  home,
bool  share,
NoView &  x
)  [inline]
 

Update this view to be a clone of view x.

Definition at line 121 of file noview.icc.

bool Gecode::Int::Linear::NoView::operator== (  const NoView &  x  )  const [inline]
 

Test whether this view is the same as x.

Definition at line 127 of file noview.icc.

bool Gecode::Int::Linear::NoView::operator!= (  const NoView &  x  )  const [inline]
 

Test whether this view is not the same as x.

Definition at line 129 of file noview.icc.

bool Gecode::Int::Linear::NoView::operator< (  const NoView &  x  )  const [inline]
 

Test whether this view is smaller than x (arbitrary order).

Definition at line 131 of file noview.icc.

bool Gecode::Int::Linear::NoView::operator> (  const NoView &  x  )  const [inline]
 

Test whether this view is larger than x (arbitrary order).

Definition at line 133 of file noview.icc.

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