Generated on Mon Aug 25 11:35:50 2008 for Gecode by doxygen 1.5.6
Gecode::Int::NegBoolView

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

Inherits Gecode::DerivedViewBase< Gecode::Int::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 1599 of file view.icc.


Domain status access

static const int BITS = BoolView::BITS
 How many bits does the status have.
static const BoolStatus ZERO = BoolView::ONE
 Status of domain assigned to zero.
static const BoolStatus ONE = BoolView::ZERO
 Status of domain assigned to one.
static const BoolStatus NONE = BoolView::NONE
 Status of domain not yet assigned.
BoolStatus status (void) const
 Return current domain status.

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.
 NegBoolView (Space *home, const Reflection::VarMap &vars, Reflection::Arg *arg)
 Initialize from specification.

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 one (Space *home)
 Try to assign view to one.
ModEvent zero (Space *home)
 Try to assign view to zero.
ModEvent one_none (Space *home)
 Assign not yet assigned view to one.
ModEvent 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 view.
void cancel (Space *home, Propagator *p, PropCond pc)
 Cancel subscription of propagator p with propagation condition pc to view.
void subscribe (Space *home, Advisor *a)
 Subscribe advisor a to view.
void cancel (Space *home, Advisor *a)
 Cancel subscription of advisor a.

Delta information for advisors

int min (const Delta *d) const
 Return minimum value just pruned.
int max (const Delta *d) const
 Return maximum value just pruned.
bool any (const Delta *d) const
 Test whether arbitrary values got pruned.
static ModEvent modevent (const Delta *d)
 Return modification event.

Cloning

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

Reflection

Reflection::Arg * spec (const Space *home, Reflection::VarMap &m) const
 Return specification for this view, using variable map m.
static Support::Symbol type (void)
 Return specification for this view, using variable map m.

View-dependent propagator support

static void schedule (Space *home, Propagator *p, ModEvent me)
 Schedule propagator p with modification event me.
static ModEvent me (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.

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 322 of file bool.icc.

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

Initialize with Boolean view b.

Definition at line 324 of file bool.icc.

Gecode::Int::NegBoolView::NegBoolView ( Space *  home,
const Reflection::VarMap &  vars,
Reflection::Arg *  arg 
) [inline]

Initialize from specification.

Definition at line 331 of file bool.icc.

Member Function Documentation

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

Initialize with Boolean view b.

Definition at line 327 of file bool.icc.

BoolStatus Gecode::Int::NegBoolView::status ( void   )  const [inline]

Return current domain status.

Definition at line 341 of file bool.icc.

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

Test whether view is assigned to be zero.

Definition at line 345 of file bool.icc.

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

Test whether view is assigned to be one.

Definition at line 349 of file bool.icc.

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

Test whether view is not yet assigned.

Definition at line 353 of file bool.icc.

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

Try to assign view to one.

Definition at line 376 of file bool.icc.

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

Try to assign view to zero.

Definition at line 372 of file bool.icc.

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

Assign not yet assigned view to one.

Definition at line 367 of file bool.icc.

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

Assign not yet assigned view to zero.

Definition at line 363 of file bool.icc.

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

Return minimum of domain.

Definition at line 386 of file bool.icc.

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

Return maximum of domain.

Definition at line 390 of file bool.icc.

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

Return assigned value (only if assigned).

Definition at line 394 of file bool.icc.

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

Test whether view is assigned.

Definition at line 404 of file bool.icc.

void Gecode::Int::NegBoolView::schedule ( Space *  home,
Propagator *  p,
ModEvent  me 
) [inline, static]

Schedule propagator p with modification event me.

Definition at line 413 of file bool.icc.

ModEvent Gecode::Int::NegBoolView::me ( ModEventDelta  med  )  [inline, static]

Return modification event for view type in med.

Definition at line 417 of file bool.icc.

ModEventDelta Gecode::Int::NegBoolView::med ( ModEvent  me  )  [inline, static]

Translate modification event me to modification event delta for view.

Definition at line 421 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 view.

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 431 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 436 of file bool.icc.

void Gecode::Int::NegBoolView::subscribe ( Space *  home,
Advisor *  a 
) [inline]

Subscribe advisor a to view.

Definition at line 440 of file bool.icc.

void Gecode::Int::NegBoolView::cancel ( Space *  home,
Advisor *  a 
) [inline]

Cancel subscription of advisor a.

Definition at line 444 of file bool.icc.

ModEvent Gecode::Int::NegBoolView::modevent ( const Delta *  d  )  [inline, static]

Return modification event.

Definition at line 454 of file bool.icc.

int Gecode::Int::NegBoolView::min ( const Delta *  d  )  const [inline]

Return minimum value just pruned.

Definition at line 458 of file bool.icc.

int Gecode::Int::NegBoolView::max ( const Delta *  d  )  const [inline]

Return maximum value just pruned.

Definition at line 462 of file bool.icc.

bool Gecode::Int::NegBoolView::any ( const Delta *  d  )  const [inline]

Test whether arbitrary values got pruned.

Definition at line 466 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 477 of file bool.icc.

Reflection::Arg * Gecode::Int::NegBoolView::spec ( const Space *  home,
Reflection::VarMap &  m 
) const [inline]

Return specification for this view, using variable map m.

Definition at line 486 of file bool.icc.

Support::Symbol Gecode::Int::NegBoolView::type ( void   )  [inline, static]

Return specification for this view, using variable map m.

Definition at line 490 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 562 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 566 of file bool.icc.

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

Print negated Boolean view.

Definition at line 123 of file print.cc.

Member Data Documentation

const int Gecode::Int::NegBoolView::BITS = BoolView::BITS [static]

How many bits does the status have.

Definition at line 1619 of file view.icc.

const BoolStatus Gecode::Int::NegBoolView::ZERO = BoolView::ONE [static]

Status of domain assigned to zero.

Definition at line 1621 of file view.icc.

const BoolStatus Gecode::Int::NegBoolView::ONE = BoolView::ZERO [static]

Status of domain assigned to one.

Definition at line 1623 of file view.icc.

const BoolStatus Gecode::Int::NegBoolView::NONE = BoolView::NONE [static]

Status of domain not yet assigned.

Definition at line 1625 of file view.icc.

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