Generated on Wed Nov 1 15:05:15 2006 for Gecode by doxygen 1.4.5
Gecode::Int::MinusView

Gecode::Int::MinusView Class Reference
[Integer views]

Inherits Gecode::DerivedViewBase< IntView >.

List of all members.

Detailed Description

Minus integer view.

A minus integer view $m$ for an integer view $x$ provides operations such that $m$ behaves as $-x$ .

Definition at line 244 of file view.icc.

Constructors and initialization

 MinusView (void)
 Default constructor.
 MinusView (const IntView &x)
 Initialize with integer view x.
void init (const IntView &x)
 Initialize with integer view x.

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.

Domain update by range iterator

template<class I>
ModEvent narrow (Space *home, I &i)
 Replace domain by range sequence described by i.
template<class I>
ModEvent inter (Space *home, I &i)
 Intersect domain with range sequence described by i.
template<class I>
ModEvent minus (Space *home, I &i)
 Remove from domain the range sequence described by i.

Dependencies

void subscribe (Space *home, Propagator *p, PropCond pc, bool process=true)
 Subscribe propagator p with propagation condition pc to variable.
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, MinusView &x)
 Update this view to be a clone of view x.

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.

View comparison

bool same (const Int::MinusView &x, const Int::MinusView &y)
 Test whether views x and y are the same.
bool before (const Int::MinusView &x, const Int::MinusView &y)
 Test whether view x comes before y (arbitrary order).

Related Functions

(Note that these are not member functions.)

std::ostream & operator<< (std::ostream &, const Gecode::Int::MinusView &)
 Print minus integer view.

Constructor & Destructor Documentation

Gecode::Int::MinusView::MinusView (  void   )  [inline]
 

Default constructor.

Definition at line 31 of file minus.icc.

Gecode::Int::MinusView::MinusView (  const IntView &  x  )  [inline]
 

Initialize with integer view x.

Definition at line 33 of file minus.icc.

Member Function Documentation

void Gecode::Int::MinusView::init (  const IntView &  x  )  [inline]
 

Initialize with integer view x.

Definition at line 36 of file minus.icc.

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

Return minimum of domain.

Definition at line 47 of file minus.icc.

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

Return maximum of domain.

Definition at line 51 of file minus.icc.

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

Return median of domain.

Definition at line 55 of file minus.icc.

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

Return assigned value (only if assigned).

Definition at line 59 of file minus.icc.

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

Return size (cardinality) of domain.

Definition at line 68 of file minus.icc.

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

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

Definition at line 64 of file minus.icc.

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

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

Definition at line 72 of file minus.icc.

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

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

Definition at line 76 of file minus.icc.

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

Test whether domain is a range.

Definition at line 86 of file minus.icc.

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

Test whether view is assigned.

Definition at line 90 of file minus.icc.

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

Test whether n is contained in domain.

Definition at line 94 of file minus.icc.

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

Test whether n is contained in domain.

Definition at line 98 of file minus.icc.

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

Restrict domain values to be less or equal than n.

Definition at line 108 of file minus.icc.

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

Restrict domain values to be less or equal than n.

Definition at line 112 of file minus.icc.

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

Restrict domain values to be less than n.

Definition at line 116 of file minus.icc.

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

Restrict domain values to be less than n.

Definition at line 120 of file minus.icc.

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

Restrict domain values to be greater or equal than n.

Definition at line 124 of file minus.icc.

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

Restrict domain values to be greater or equal than n.

Definition at line 128 of file minus.icc.

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

Restrict domain values to be greater than n.

Definition at line 132 of file minus.icc.

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

Restrict domain values to be greater than n.

Definition at line 136 of file minus.icc.

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

Restrict domain values to be different from n.

Definition at line 140 of file minus.icc.

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

Restrict domain values to be different from n.

Definition at line 144 of file minus.icc.

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

Restrict domain values to be equal to n.

Definition at line 148 of file minus.icc.

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

Restrict domain values to be equal to n.

Definition at line 152 of file minus.icc.

template<class I>
ModEvent Gecode::Int::MinusView::narrow (  Space *  home,
I &  i
) 
 

Replace domain by range sequence described by i.

Definition at line 164 of file minus.icc.

template<class I>
ModEvent Gecode::Int::MinusView::inter (  Space *  home,
I &  i
) 
 

Intersect domain with range sequence described by i.

Definition at line 169 of file minus.icc.

template<class I>
ModEvent Gecode::Int::MinusView::minus (  Space *  home,
I &  i
) 
 

Remove from domain the range sequence described by i.

Definition at line 174 of file minus.icc.

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

Return modification event of propagator p for view.

Definition at line 184 of file minus.icc.

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

Translate modification event me to propagator modification event for view.

Definition at line 188 of file minus.icc.

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

Subscribe propagator p with propagation condition pc to variable.

In case process is false, the propagator is just subscribed but not processed for execution (this must be used when creating subscriptions during propagation).

Definition at line 198 of file minus.icc.

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

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

Definition at line 203 of file minus.icc.

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

Update this view to be a clone of view x.

Definition at line 214 of file minus.icc.

Friends And Related Function Documentation

bool same (  const Int::MinusView &  x,
const Int::MinusView &  y
)  [related]
 

Test whether views x and y are the same.

Definition at line 274 of file minus.icc.

bool before (  const Int::MinusView &  x,
const Int::MinusView &  y
)  [related]
 

Test whether view x comes before y (arbitrary order).

Definition at line 278 of file minus.icc.

std::ostream & operator<< (  std::ostream &  ,
const Gecode::Int::MinusView & 
)  [related]
 

Print minus integer view.

Definition at line 79 of file print.cc.

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