Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0

Domain consistent negative extensional propagator. More...

#include <extensional.hh>

Public Types

typedef Compact< View, false >::ValidSupports ValidSupports
 
typedef Compact< View, false >::Range Range
 
typedef Compact< View, false >::CTAdvisor CTAdvisor
 

Public Member Functions

template<class TableProp >
 NegCompact (Space &home, TableProp &p)
 Constructor for cloning p.
 
 NegCompact (Home home, ViewArray< View > &x, const TupleSet &ts)
 Constructor for posting.
 
virtual void reschedule (Space &home)
 Schedule function.
 
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.
 
virtual Actorcopy (Space &home)
 Copy propagator during cloning.
 
size_t dispose (Space &home)
 Delete propagator and return its size.
 
virtual ExecStatus advise (Space &home, Advisor &a, const Delta &d)
 Give advice to propagator.
 
- Public Member Functions inherited from Gecode::Int::Extensional::Compact< View, false >
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function.
 
- Public Member Functions inherited from Gecode::Propagator
ModEventDelta modeventdelta (void) const
 Return the modification event delta.
 
virtual void advise (Space &home, Advisor &a)
 Run advisor a to be run on failure in failed space.
 
double afc (void) const
 Return the accumlated 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 (void)
 To avoid warnings.
 

Static Public Member Functions

static ExecStatus post (Home home, ViewArray< View > &x, const TupleSet &ts)
 Post propagator for views x and table t.
 
- Static Public Member Functions inherited from Gecode::Actor
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.
 

Public Attributes

Table table
 Current table.
 
- Public Attributes inherited from Gecode::Propagator

Additional Inherited Members

- Protected Types inherited from Gecode::Int::Extensional::Compact< View, false >
typedef TupleSet::Range Range
 Range type for supports.
 
- Protected Member Functions inherited from Gecode::Int::Extensional::Compact< View, false >
bool all (void) const
 Whether all variables are assigned.
 
bool atmostone (void) const
 Whether at most one variable is unassigned.
 
 Compact (Space &home, Compact &p)
 Constructor for cloning p.
 
 Compact (Home home, const TupleSet &ts)
 Constructor for posting.
 
void setup (Space &home, Table &table, ViewArray< View > &x)
 Setup the actual table.
 
bool full (const Table &table) const
 Check whether the table covers the whole Cartedion product.
 
const Rangerange (CTAdvisor &a, int n)
 Find range for n.
 
const BitSetDatasupports (CTAdvisor &a, int n)
 Return supports for value n.
 
- Protected Member Functions inherited from Gecode::Propagator
 Propagator (Home home)
 Constructor for posting.
 
 Propagator (Space &home, Propagator &p)
 Constructor for cloning p.
 
Propagatorfwd (void) const
 Return forwarding pointer during copying.
 
Kernel::GPI::Infogpi (void)
 Provide access to global propagator information.
 
- Protected Attributes inherited from Gecode::Int::Extensional::Compact< View, false >
const unsigned int n_words
 Number of words in supports.
 
TupleSet ts
 The tuple set.
 
Council< CTAdvisor > c
 The advisor council.
 

Detailed Description

template<class View, class Table>
class Gecode::Int::Extensional::NegCompact< View, Table >

Domain consistent negative extensional propagator.

This propagator implements the compact-table propagation algorithm based on: J. Demeulenaere et. al., Compact-Table: Efficiently filtering table constraints with reversible sparse bit-sets, CP 2016. and (negative tables) on: H. Verhaeghe et al., Extending Compact-Table to Negative and Short Tables. AAAI 2017.

Requires

Definition at line 594 of file extensional.hh.

Member Typedef Documentation

◆ ValidSupports

template<class View , class Table >
Compact<View,false>::ValidSupports Gecode::Int::Extensional::NegCompact< View, Table >::ValidSupports

Definition at line 596 of file extensional.hh.

◆ Range

template<class View , class Table >
Compact<View,false>::Range Gecode::Int::Extensional::NegCompact< View, Table >::Range

Definition at line 597 of file extensional.hh.

◆ CTAdvisor

template<class View , class Table >
Compact<View,false>::CTAdvisor Gecode::Int::Extensional::NegCompact< View, Table >::CTAdvisor

Definition at line 598 of file extensional.hh.

Constructor & Destructor Documentation

◆ NegCompact() [1/2]

template<class View , class Table >
template<class TableProp >
Gecode::Int::Extensional::NegCompact< View, Table >::NegCompact ( Space & home,
TableProp & p )
inline

Constructor for cloning p.

Definition at line 736 of file compact.hpp.

◆ NegCompact() [2/2]

template<class View , class Table >
Gecode::Int::Extensional::NegCompact< View, Table >::NegCompact ( Home home,
ViewArray< View > & x,
const TupleSet & ts )
inline

Constructor for posting.

Definition at line 790 of file compact.hpp.

Member Function Documentation

◆ reschedule()

template<class View , class Table >
void Gecode::Int::Extensional::NegCompact< View, Table >::reschedule ( Space & home)
virtual

Schedule function.

Implements Gecode::Propagator.

Definition at line 813 of file compact.hpp.

◆ propagate()

template<class View , class Table >
ExecStatus Gecode::Int::Extensional::NegCompact< View, Table >::propagate ( Space & home,
const ModEventDelta & med )
virtual

Perform propagation.

Implements Gecode::Propagator.

Definition at line 819 of file compact.hpp.

◆ copy()

template<class View , class Table >
Actor * Gecode::Int::Extensional::NegCompact< View, Table >::copy ( Space & home)
virtual

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 743 of file compact.hpp.

◆ post()

template<class View , class Table >
ExecStatus Gecode::Int::Extensional::NegCompact< View, Table >::post ( Home home,
ViewArray< View > & x,
const TupleSet & ts )
inlinestatic

Post propagator for views x and table t.

Definition at line 798 of file compact.hpp.

◆ dispose()

template<class View , class Table >
size_t Gecode::Int::Extensional::NegCompact< View, Table >::dispose ( Space & home)
inlinevirtual

Delete propagator and return its size.

Reimplemented from Gecode::Int::Extensional::Compact< View, false >.

Definition at line 806 of file compact.hpp.

◆ advise()

template<class View , class Table >
ExecStatus Gecode::Int::Extensional::NegCompact< View, Table >::advise ( Space & home,
Advisor & a,
const Delta & d )
virtual

Give advice to propagator.

Reimplemented from Gecode::Propagator.

Definition at line 904 of file compact.hpp.

Member Data Documentation

◆ table

template<class View , class Table >
Table Gecode::Int::Extensional::NegCompact< View, Table >::table

Current table.

Definition at line 608 of file extensional.hh.


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