Generated on Thu Apr 5 2018 19:44:19 for Gecode by doxygen 1.8.13
Gecode::Int::Extensional::Compact< View >::Status Class Reference

Status management. More...

#include <extensional.hh>

Public Member Functions

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

Protected Attributes

ptrdiff_t s
 A tagged pointer for storing the status. More...
 

Detailed Description

template<class View>
class Gecode::Int::Extensional::Compact< View >::Status

Status management.

Definition at line 392 of file extensional.hh.

Constructor & Destructor Documentation

◆ Status() [1/2]

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

Initialize with type t (either NONE or SEVERAL)

Definition at line 109 of file compact.hpp.

◆ Status() [2/2]

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

Copy constructor.

Definition at line 113 of file compact.hpp.

Member Function Documentation

◆ type()

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

Return status type.

Definition at line 117 of file compact.hpp.

◆ single()

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 122 of file compact.hpp.

◆ touched()

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 130 of file compact.hpp.

◆ none()

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

Set status to NONE.

Definition at line 136 of file compact.hpp.

◆ propagating()

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

Set status to PROPAGATING.

Definition at line 141 of file compact.hpp.

Member Data Documentation

◆ s

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

A tagged pointer for storing the status.

Definition at line 395 of file extensional.hh.


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