Generated on for Gecode by doxygen 1.17.0
Classes | Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members
Gecode::Int::Extensional::CompactCompressed< View, pos > Class Template Reference

#include <gecode/int/extensional/compact.hpp>

Classes

class  ValidSupports
class  LostSupports

Public Member Functions

virtual PropCost cost (const Space &, const ModEventDelta &) const
 Cost function.
size_t dispose (Space &home)
 Delete actor and return its size.
virtual void reschedule (Space &home)=0
 Schedule function.
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)=0
 Propagation function.
ModEventDelta modeventdelta (void) const
 Return the modification event delta.
virtual ExecStatus advise (Space &home, Advisor &a, const Delta &d)
 Advise function.
virtual void advise (Space &home, Advisor &a)
 Run advisor a to be run on failure in failed space.
double afc (void) const
 Return the accumulated failure count.
unsigned int id (void) const
 Return propagator id.
PropagatorGroup group (void) const
 Return group propagator belongs to.
void group (PropagatorGroup g)
 Add propagator to group g.
bool disabled (void) const
 Whether propagator is currently disabled.
Public Member Functions inherited from Gecode::Actor
virtual Actor * copy (Space &home)=0
 Create copy.
virtual ~Actor (void)
 To avoid warnings.

Protected Types

typedef TupleSet::Range Range
typedef TupleSet::CSupportWord CSupportWord
typedef CompactAdvisor< View, pos, true > CTAdvisor

Protected Member Functions

bool all (void) const
bool atmostone (void) const
 CompactCompressed (Space &home, CompactCompressed &p)
 CompactCompressed (Home home, const TupleSet &ts0)
CompressedSupport supports (CTAdvisor &a, int n) const
template<class Table>
void setup (Space &home, Table &table, ViewArray< View > &x)
template<class Table>
bool full (const Table &table) const
Protected Member Functions inherited from Gecode::Propagator
 Propagator (Home home)
 Constructor for posting.
 Propagator (Space &home, Propagator &p)
 Constructor for cloning p.
Propagator * fwd (void) const
 Return forwarding pointer during copying.
Kernel::GPI::Info & gpi (void)
 Provide access to global propagator information.

Protected Attributes

const unsigned int n_words
TupleSet ts
Council< CTAdvisor > c

Additional Inherited Members

static void * operator new (size_t s, Space &home)
 Allocate memory from space.
static void operator delete (void *p, Space &home)
 No-op for exceptions.
static void * operator new (size_t s)
 Not used.
static void operator delete (void *p)
 Not used.

Detailed Description

template<class View, bool pos>
class Gecode::Int::Extensional::CompactCompressed< View, pos >

Definition at line 1339 of file compact.hpp.

Member Typedef Documentation

◆ Range

template<class View, bool pos>
typedef TupleSet::Range Gecode::Int::Extensional::CompactCompressed< View, pos >::Range
protected

Definition at line 1341 of file compact.hpp.

◆ CSupportWord

template<class View, bool pos>
typedef TupleSet::CSupportWord Gecode::Int::Extensional::CompactCompressed< View, pos >::CSupportWord
protected

Definition at line 1342 of file compact.hpp.

◆ CTAdvisor

template<class View, bool pos>
typedef CompactAdvisor<View,pos,true> Gecode::Int::Extensional::CompactCompressed< View, pos >::CTAdvisor
protected

Definition at line 1343 of file compact.hpp.

Constructor & Destructor Documentation

◆ CompactCompressed() [1/2]

template<class View, bool pos>
Gecode::Int::Extensional::CompactCompressed< View, pos >::CompactCompressed ( Space & home,
CompactCompressed< View, pos > & p )
inlineprotected

Definition at line 1496 of file compact.hpp.

◆ CompactCompressed() [2/2]

template<class View, bool pos>
Gecode::Int::Extensional::CompactCompressed< View, pos >::CompactCompressed ( Home home,
const TupleSet & ts0 )
inlineprotected

Definition at line 1500 of file compact.hpp.

Member Function Documentation

◆ all()

template<class View, bool pos>
bool Gecode::Int::Extensional::CompactCompressed< View, pos >::all ( void ) const
inlineprotected

Definition at line 1484 of file compact.hpp.

◆ atmostone()

template<class View, bool pos>
bool Gecode::Int::Extensional::CompactCompressed< View, pos >::atmostone ( void ) const
inlineprotected

Definition at line 1487 of file compact.hpp.

◆ supports()

template<class View, bool pos>
CompressedSupport Gecode::Int::Extensional::CompactCompressed< View, pos >::supports ( CTAdvisor & a,
int n ) const
inlineprotected

Definition at line 1505 of file compact.hpp.

◆ setup()

template<class View, bool pos>
template<class Table>
void Gecode::Int::Extensional::CompactCompressed< View, pos >::setup ( Space & home,
Table & table,
ViewArray< View > & x )
inlineprotected

Definition at line 1515 of file compact.hpp.

◆ full()

template<class View, bool pos>
template<class Table>
bool Gecode::Int::Extensional::CompactCompressed< View, pos >::full ( const Table & table) const
inlineprotected

Definition at line 1521 of file compact.hpp.

◆ cost()

template<class View, bool pos>
virtual PropCost Gecode::Int::Extensional::CompactCompressed< View, pos >::cost ( const Space & home,
const ModEventDelta & med ) const
inlinevirtual

Cost function.

Implements Gecode::Propagator.

Definition at line 1526 of file compact.hpp.

◆ dispose()

template<class View, bool pos>
size_t Gecode::Int::Extensional::CompactCompressed< View, pos >::dispose ( Space & home)
inlinevirtual

Delete actor and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::Int::Extensional::NegCompactCompressed< View, Table >, Gecode::Int::Extensional::PosCompactCompressed< View, Table >, and Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >.

Definition at line 1529 of file compact.hpp.

Member Data Documentation

◆ n_words

template<class View, bool pos>
const unsigned int Gecode::Int::Extensional::CompactCompressed< View, pos >::n_words
protected

Definition at line 1492 of file compact.hpp.

◆ ts

template<class View, bool pos>
TupleSet Gecode::Int::Extensional::CompactCompressed< View, pos >::ts
protected

Definition at line 1493 of file compact.hpp.

◆ c

template<class View, bool pos>
Council<CTAdvisor> Gecode::Int::Extensional::CompactCompressed< View, pos >::c
protected

Definition at line 1494 of file compact.hpp.

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