Gecode::Int::Extensional::Compact< View > Class Template Reference
Base class for compact table propagator. More...
#include <extensional.hh>
Classes | |
class | CTAdvisor |
Advisor for updating current table. More... | |
class | LostSupports |
Iterator over lost supports. More... | |
class | Status |
Status management. More... | |
class | ValidSupports |
Iterator over valid supports. More... | |
Public Member Functions | |
size_t | dispose (Space &home) |
Delete propagator and return its size. | |
Protected Types | |
typedef TupleSet::Range | Range |
Range type for supports. | |
Protected Member Functions | |
Compact (Space &home, Compact &p) | |
Constructor for cloning p. | |
Compact (Home home, ViewArray< View > &x, const TupleSet &ts) | |
Constructor for posting. | |
const Range * | range (CTAdvisor &a, int n) |
Find range for n. | |
const BitSetData * | supports (CTAdvisor &a, int n) |
Return supports for value n. | |
Protected Attributes | |
int | unassigned |
Number of unassigned views. | |
const unsigned int | n_words |
Number of words in supports. | |
Status | status |
Propagator status. | |
TupleSet | ts |
The tuple set. | |
Council< CTAdvisor > | c |
The advisor council. | |
Status management | |
| |
enum | StatusType { SINGLE = 0, MULTIPLE = 1, NONE = 2, PROPAGATING = 3 } |
Type of status. More... |
Detailed Description
template<class View>
class Gecode::Int::Extensional::Compact< View >
Base class for compact table propagator.
Definition at line 347 of file extensional.hh.
Member Typedef Documentation
typedef TupleSet::Range Gecode::Int::Extensional::Compact< View >::Range [protected] |
Range type for supports.
Reimplemented in Gecode::Int::Extensional::CompactTable< View, Table >.
Definition at line 350 of file extensional.hh.
Member Enumeration Documentation
enum Gecode::Int::Extensional::Compact::StatusType [protected] |
Type of status.
- Enumerator:
SINGLE A single view has been touched.
MULTIPLE Multiple view have been touched.
NONE No view has been touched.
PROPAGATING The propagator is currently running.
Reimplemented in Gecode::Int::Extensional::CompactTable< View, Table >.
Definition at line 381 of file extensional.hh.
Constructor & Destructor Documentation
Gecode::Int::Extensional::Compact< View >::Compact | ( | Space & | home, | |
Compact< View > & | p | |||
) | [inline, protected] |
Constructor for cloning p.
Definition at line 279 of file compact.hpp.
Gecode::Int::Extensional::Compact< View >::Compact | ( | Home | home, | |
ViewArray< View > & | x, | |||
const TupleSet & | ts | |||
) | [inline, protected] |
Constructor for posting.
Definition at line 287 of file compact.hpp.
Member Function Documentation
const Compact< View >::Range * Gecode::Int::Extensional::Compact< View >::range | ( | CTAdvisor & | a, | |
int | n | |||
) | [inline, protected] |
Find range for n.
Definition at line 149 of file compact.hpp.
const BitSetData * Gecode::Int::Extensional::Compact< View >::supports | ( | CTAdvisor & | a, | |
int | n | |||
) | [inline, protected] |
Return supports for value n.
Definition at line 170 of file compact.hpp.
size_t Gecode::Int::Extensional::Compact< View >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Reimplemented in Gecode::Int::Extensional::CompactTable< View, Table >.
Definition at line 296 of file compact.hpp.
Member Data Documentation
int Gecode::Int::Extensional::Compact< View >::unassigned [protected] |
Number of unassigned views.
Definition at line 467 of file extensional.hh.
const unsigned int Gecode::Int::Extensional::Compact< View >::n_words [protected] |
Number of words in supports.
Definition at line 469 of file extensional.hh.
Status Gecode::Int::Extensional::Compact< View >::status [protected] |
Propagator status.
Definition at line 471 of file extensional.hh.
TupleSet Gecode::Int::Extensional::Compact< View >::ts [protected] |
The tuple set.
Definition at line 473 of file extensional.hh.
Council<CTAdvisor> Gecode::Int::Extensional::Compact< View >::c [protected] |
The advisor council.
Definition at line 475 of file extensional.hh.
The documentation for this class was generated from the following files:
- gecode/int/extensional.hh
- gecode/int/extensional/compact.hpp