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

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

Inherits Gecode::DerivedViewBase< BoolView >.

List of all members.

Detailed Description

Negated Boolean view.

A negated Boolean view $n$ for a Boolean view $b$ provides operations such that $n$ behaves as $\neg b$ .

Definition at line 962 of file view.icc.

Constructors and initialization

 NegBoolView (void)
 Default constructor.
 NegBoolView (const BoolView &b)
 Initialize with Boolean view b.
void init (const BoolView &b)
 Initialize with Boolean view b.

Boolean domain tests

bool zero (void) const
 Test whether view is assigned to be zero.
bool one (void) const
 Test whether view is assigned to be one.
bool none (void) const
 Test whether view is not yet assigned.

Boolean assignment operations

ModEvent t_one (Space *home)
 Try to assign view to one.
ModEvent t_zero (Space *home)
 Try to assign view to zero.
void t_one_none (Space *home)
 Assign not yet assigned view to one.
void t_zero_none (Space *home)
 Assign not yet assigned view to zero.

Value access

int min (void) const
 Return minimum of domain.
int max (void) const
 Return maximum of domain.
int val (void) const
 Return assigned value (only if assigned).

Domain tests

bool assigned (void) const
 Test whether view is assigned.

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, NegBoolView &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::NegBoolView &x, const Int::NegBoolView &y)
 Test whether views x and y are the same.
bool before (const Int::NegBoolView &x, const Int::NegBoolView &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::NegBoolView &)
 Print negated Boolean view.

Constructor & Destructor Documentation

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

Default constructor.

Definition at line 110 of file bool.icc.

Gecode::Int::NegBoolView::NegBoolView (  const BoolView &  b  )  [inline]
 

Initialize with Boolean view b.

Definition at line 112 of file bool.icc.

Member Function Documentation

void Gecode::Int::NegBoolView::init (  const BoolView &  b  )  [inline]
 

Initialize with Boolean view b.

Definition at line 115 of file bool.icc.

bool Gecode::Int::NegBoolView::zero (  void   )  const [inline]
 

Test whether view is assigned to be zero.

Definition at line 125 of file bool.icc.

bool Gecode::Int::NegBoolView::one (  void   )  const [inline]
 

Test whether view is assigned to be one.

Definition at line 129 of file bool.icc.

bool Gecode::Int::NegBoolView::none (  void   )  const [inline]
 

Test whether view is not yet assigned.

Definition at line 133 of file bool.icc.

ModEvent Gecode::Int::NegBoolView::t_one (  Space *  home  )  [inline]
 

Try to assign view to one.

Definition at line 156 of file bool.icc.

ModEvent Gecode::Int::NegBoolView::t_zero (  Space *  home  )  [inline]
 

Try to assign view to zero.

Definition at line 152 of file bool.icc.

void Gecode::Int::NegBoolView::t_one_none (  Space *  home  )  [inline]
 

Assign not yet assigned view to one.

Definition at line 147 of file bool.icc.

void Gecode::Int::NegBoolView::t_zero_none (  Space *  home  )  [inline]
 

Assign not yet assigned view to zero.

Definition at line 143 of file bool.icc.

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

Return minimum of domain.

Definition at line 166 of file bool.icc.

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

Return maximum of domain.

Definition at line 170 of file bool.icc.

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

Return assigned value (only if assigned).

Definition at line 174 of file bool.icc.

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

Test whether view is assigned.

Definition at line 184 of file bool.icc.

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

Return modification event of propagator p for view.

Definition at line 193 of file bool.icc.

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

Translate modification event me to propagator modification event for view.

Definition at line 197 of file bool.icc.

void Gecode::Int::NegBoolView::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 207 of file bool.icc.

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

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

Definition at line 212 of file bool.icc.

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

Update this view to be a clone of view x.

Definition at line 222 of file bool.icc.

Friends And Related Function Documentation

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

Test whether views x and y are the same.

Definition at line 234 of file bool.icc.

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

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

Definition at line 238 of file bool.icc.

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

Print negated Boolean view.

Definition at line 99 of file print.cc.

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