Generated on Wed Jan 4 17:49:19 2006 for Gecode by doxygen 1.4.6

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

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 933 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)
 Subscribe propagator p with propagation condition pc to view.
void cancel (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 102 of file bool.icc.

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

Initialize with Boolean view b.

Definition at line 104 of file bool.icc.


Member Function Documentation

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

Initialize with Boolean view b.

Definition at line 107 of file bool.icc.

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

Test whether view is assigned to be zero.

Definition at line 117 of file bool.icc.

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

Test whether view is assigned to be one.

Definition at line 121 of file bool.icc.

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

Test whether view is not yet assigned.

Definition at line 125 of file bool.icc.

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

Try to assign view to one.

Definition at line 148 of file bool.icc.

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

Try to assign view to zero.

Definition at line 144 of file bool.icc.

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

Assign not yet assigned view to one.

Definition at line 139 of file bool.icc.

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

Assign not yet assigned view to zero.

Definition at line 135 of file bool.icc.

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

Return minimum of domain.

Definition at line 158 of file bool.icc.

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

Return maximum of domain.

Definition at line 162 of file bool.icc.

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

Return assigned value (only if assigned).

Definition at line 166 of file bool.icc.

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

Test whether view is assigned.

Definition at line 176 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 185 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 189 of file bool.icc.

void Gecode::Int::NegBoolView::subscribe Space home,
Propagator p,
PropCond  pc
[inline]
 

Subscribe propagator p with propagation condition pc to view.

Definition at line 199 of file bool.icc.

void Gecode::Int::NegBoolView::cancel Propagator p,
PropCond  pc
[inline]
 

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

Definition at line 203 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 213 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 225 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 229 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: