Gecode::Int::Extensional::CompactStatus< Advisor > Class Template Reference

Touched-advisor status shared by positive compact-table propagators. More...

#include <gecode/int/extensional.hh>

Public Types
enum	StatusType { SINGLE = 0 , MULTIPLE = 1 , NONE = 2 , PROPAGATING = 3 }
	Type of status. More...

Public Member Functions
	CompactStatus (StatusType t)
	Initialize with status t.
	CompactStatus (const CompactStatus &status)
	Copy constructor.
StatusType	type (void) const
	Return status type.
bool	single (Advisor &a) const
	Test whether only advisor a was touched.
void	touched (Advisor &a)
	Record that advisor a was touched.
void	none (void)
	Record that no advisor has been touched.
void	propagating (void)
	Record that propagation is in progress.

Protected Attributes
ptrdiff_t	s
	A tagged advisor pointer or a status value.

Detailed Description

template<class Advisor>
class Gecode::Int::Extensional::CompactStatus< Advisor >

Touched-advisor status shared by positive compact-table propagators.

Definition at line 470 of file extensional.hh.

Member Enumeration Documentation

StatusType

template<class Advisor>

enum Gecode::Int::Extensional::CompactStatus::StatusType

Type of status.

Enumerator
SINGLE	A single view has been touched.
MULTIPLE	Multiple views have been touched.
NONE	No view has been touched.
PROPAGATING	The propagator is currently running.

Definition at line 476 of file extensional.hh.

Constructor & Destructor Documentation

CompactStatus() [1/2]

template<class Advisor>

Gecode::Int::Extensional::CompactStatus< Advisor >::CompactStatus ( StatusType t )

inline

Initialize with status t.

Definition at line 147 of file compact.hpp.

CompactStatus() [2/2]

template<class Advisor>

Gecode::Int::Extensional::CompactStatus< Advisor >::CompactStatus ( const CompactStatus< Advisor > & status )

inline

Copy constructor.

Definition at line 152 of file compact.hpp.

Member Function Documentation

type()

template<class Advisor>

CompactStatus< Advisor >::StatusType Gecode::Int::Extensional::CompactStatus< Advisor >::type ( void ) const

inline

Return status type.

Definition at line 157 of file compact.hpp.

single()

template<class Advisor>

bool Gecode::Int::Extensional::CompactStatus< Advisor >::single ( Advisor & a ) const

inline

Test whether only advisor a was touched.

Definition at line 163 of file compact.hpp.

touched()

template<class Advisor>

void Gecode::Int::Extensional::CompactStatus< Advisor >::touched ( Advisor & a )

inline

Record that advisor a was touched.

Definition at line 170 of file compact.hpp.

none()

template<class Advisor>

void Gecode::Int::Extensional::CompactStatus< Advisor >::none ( void )

inline

Record that no advisor has been touched.

Definition at line 181 of file compact.hpp.

propagating()

template<class Advisor>

void Gecode::Int::Extensional::CompactStatus< Advisor >::propagating ( void )

inline

Record that propagation is in progress.

Definition at line 187 of file compact.hpp.

Member Data Documentation

s

template<class Advisor>

ptrdiff_t Gecode::Int::Extensional::CompactStatus< Advisor >::s

protected

A tagged advisor pointer or a status value.

Definition at line 473 of file extensional.hh.

---

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

• gecode/int/extensional.hh
• gecode/int/extensional/compact.hpp