Generated on Sun Feb 17 15:25:24 2019 for Gecode by doxygen 1.6.3

Gecode::Int::Extensional::PosCompact< View, Table >::Status Class Reference

Status management. More...

#include <extensional.hh>

List of all members.

Public Member Functions

 Status (StatusType t)
 Initialize with type t (either NONE or SEVERAL).
 Status (const Status &s)
 Copy constructor.
StatusType type (void) const
 Return status type.
bool single (CTAdvisor &a) const
 Check whether status is single and equal to a.
void touched (CTAdvisor &a)
 Set status to SINGLE or MULTIPLE depending on a.
void none (void)
 Set status to NONE.
void propagating (void)
 Set status to PROPAGATING.

Protected Attributes

ptrdiff_t s
 A tagged pointer for storing the status.

Detailed Description

template<class View, class Table>
class Gecode::Int::Extensional::PosCompact< View, Table >::Status

Status management.

Definition at line 528 of file extensional.hh.


Constructor & Destructor Documentation

template<class View , class Table >
Gecode::Int::Extensional::PosCompact< View, Table >::Status::Status ( StatusType  t  )  [inline]

Initialize with type t (either NONE or SEVERAL).

Definition at line 417 of file compact.hpp.

template<class View , class Table >
Gecode::Int::Extensional::PosCompact< View, Table >::Status::Status ( const Status s  )  [inline]

Copy constructor.

Definition at line 421 of file compact.hpp.


Member Function Documentation

template<class View , class Table >
PosCompact< View, Table >::StatusType Gecode::Int::Extensional::PosCompact< View, Table >::Status::type ( void   )  const [inline]

Return status type.

Definition at line 425 of file compact.hpp.

template<class View , class Table >
bool Gecode::Int::Extensional::PosCompact< View, Table >::Status::single ( CTAdvisor a  )  const [inline]

Check whether status is single and equal to a.

Definition at line 430 of file compact.hpp.

template<class View , class Table >
void Gecode::Int::Extensional::PosCompact< View, Table >::Status::touched ( CTAdvisor a  )  [inline]

Set status to SINGLE or MULTIPLE depending on a.

Definition at line 438 of file compact.hpp.

template<class View , class Table >
void Gecode::Int::Extensional::PosCompact< View, Table >::Status::none ( void   )  [inline]

Set status to NONE.

Definition at line 444 of file compact.hpp.

template<class View , class Table >
void Gecode::Int::Extensional::PosCompact< View, Table >::Status::propagating ( void   )  [inline]

Set status to PROPAGATING.

Definition at line 449 of file compact.hpp.


Member Data Documentation

template<class View , class Table >
ptrdiff_t Gecode::Int::Extensional::PosCompact< View, Table >::Status::s [protected]

A tagged pointer for storing the status.

Definition at line 531 of file extensional.hh.


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