Gecode::Int::Extensional::Compact< View, pos > 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 | ValidSupports |
| Iterator over valid supports. More... | |
Public Member Functions | |
| virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
| Cost function. | |
| 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, const TupleSet &ts) | |
| Constructor for posting. | |
| template<class Table > | |
| void | setup (Space &home, Table &table, ViewArray< View > &x) |
| Setup the actual table. | |
| template<class Table > | |
| bool | full (const Table &table) const |
| Check whether the table covers the whole Cartedion product. | |
| 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 | |
| const unsigned int | n_words |
| Number of words in supports. | |
| TupleSet | ts |
| The tuple set. | |
| Council< CTAdvisor > | c |
| The advisor council. | |
Testing the number of unassigned variables | |
|
| |
| bool | all (void) const |
| Whether all variables are assigned. | |
| bool | atmostone (void) const |
| Whether at most one variable is unassigned. | |
Detailed Description
template<class View, bool pos>
class Gecode::Int::Extensional::Compact< View, pos >
Base class for compact table propagator.
Definition at line 362 of file extensional.hh.
Member Typedef Documentation
typedef TupleSet::Range Gecode::Int::Extensional::Compact< View, pos >::Range [protected] |
Range type for supports.
Reimplemented in Gecode::Int::Extensional::PosCompact< View, Table >, Gecode::Int::Extensional::NegCompact< View, Table >, and Gecode::Int::Extensional::ReCompact< View, Table, CtrlView, rm >.
Definition at line 365 of file extensional.hh.
Constructor & Destructor Documentation
| Gecode::Int::Extensional::Compact< View, pos >::Compact | ( | Space & | home, | |
| Compact< View, pos > & | p | |||
| ) | [inline, protected] |
Constructor for cloning p.
Definition at line 335 of file compact.hpp.
| Gecode::Int::Extensional::Compact< View, pos >::Compact | ( | Home | home, | |
| const TupleSet & | ts | |||
| ) | [inline, protected] |
Constructor for posting.
Definition at line 342 of file compact.hpp.
Member Function Documentation
| bool Gecode::Int::Extensional::Compact< View, pos >::all | ( | void | ) | const [inline, protected] |
Whether all variables are assigned.
Definition at line 320 of file compact.hpp.
| bool Gecode::Int::Extensional::Compact< View, pos >::atmostone | ( | void | ) | const [inline, protected] |
Whether at most one variable is unassigned.
Definition at line 326 of file compact.hpp.
| void Gecode::Int::Extensional::Compact< View, pos >::setup | ( | Space & | home, | |
| Table & | table, | |||
| ViewArray< View > & | x | |||
| ) | [inline, protected] |
Setup the actual table.
Definition at line 350 of file compact.hpp.
| bool Gecode::Int::Extensional::Compact< View, pos >::full | ( | const Table & | table | ) | const [inline, protected] |
Check whether the table covers the whole Cartedion product.
Definition at line 379 of file compact.hpp.
| const Compact< View, pos >::Range * Gecode::Int::Extensional::Compact< View, pos >::range | ( | CTAdvisor & | a, | |
| int | n | |||
| ) | [inline, protected] |
Find range for n.
Definition at line 116 of file compact.hpp.
| const BitSetData * Gecode::Int::Extensional::Compact< View, pos >::supports | ( | CTAdvisor & | a, | |
| int | n | |||
| ) | [inline, protected] |
Return supports for value n.
Definition at line 148 of file compact.hpp.
| PropCost Gecode::Int::Extensional::Compact< View, pos >::cost | ( | const Space & | home, | |
| const ModEventDelta & | med | |||
| ) | const [inline, virtual] |
| size_t Gecode::Int::Extensional::Compact< View, pos >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Reimplemented in Gecode::Int::Extensional::PosCompact< View, Table >, Gecode::Int::Extensional::NegCompact< View, Table >, and Gecode::Int::Extensional::ReCompact< View, Table, CtrlView, rm >.
Definition at line 402 of file compact.hpp.
Member Data Documentation
const unsigned int Gecode::Int::Extensional::Compact< View, pos >::n_words [protected] |
Number of words in supports.
Definition at line 465 of file extensional.hh.
TupleSet Gecode::Int::Extensional::Compact< View, pos >::ts [protected] |
The tuple set.
Definition at line 467 of file extensional.hh.
Council<CTAdvisor> Gecode::Int::Extensional::Compact< View, pos >::c [protected] |
The advisor council.
Definition at line 469 of file extensional.hh.
The documentation for this class was generated from the following files:
- gecode/int/extensional.hh
- gecode/int/extensional/compact.hpp