Generated on Tue May 22 09:41:29 2018 for Gecode by doxygen 1.6.3

Gecode::Int::Extensional::Compact< View >::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 Gecode::Int::Extensional::Compact< View >::Status

Status management.

Definition at line 388 of file extensional.hh.


Constructor & Destructor Documentation

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

Initialize with type t (either NONE or SEVERAL).

Definition at line 105 of file compact.hpp.

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

Copy constructor.

Definition at line 109 of file compact.hpp.


Member Function Documentation

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

Return status type.

Definition at line 113 of file compact.hpp.

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

Check whether status is single and equal to a.

Definition at line 118 of file compact.hpp.

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

Set status to SINGLE or MULTIPLE depending on a.

Definition at line 126 of file compact.hpp.

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

Set status to NONE.

Definition at line 132 of file compact.hpp.

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

Set status to PROPAGATING.

Definition at line 137 of file compact.hpp.


Member Data Documentation

template<class View>
ptrdiff_t Gecode::Int::Extensional::Compact< View >::Status::s [protected]

A tagged pointer for storing the status.

Definition at line 391 of file extensional.hh.


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