Generated on Tue Sep 25 2012 20:53:30 for Gecode by doxygen 1.7.5
Gecode::Int::Extensional::Base Class Reference

Base for domain consistent extensional propagation More...

#include <extensional.hh>

List of all members.

Public Member Functions

virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function (defined as high quadratic)
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Protected Member Functions

TupleSet::TupleSetIts (void)
 Base (Space &home, bool share, Base< View, subscribe > &p)
 Constructor for cloning p.
 Base (Home home, ViewArray< View > &x, const TupleSet &t)
 Constructor for posting.
void init_last (Space &home, Tuple **source)
 Initialize last support.
Tuple last (int i, int n)
 Find last support for view at position i and value n.
Tuple last_next (int i, int n)
 Find last support for view at position i and value n.
void init_dom (Space &home, Domain dom)
 Initialize domain information.
bool valid (Tuple t, Domain dom)
 Check wether tuple is valid for domain.
Tuple find_support (Domain dom, int i, int n)
 Find support for view at position i and value n.
virtual ~Base (void)
 Unused destructor (to avoid warnings)

Protected Attributes

ViewArray< View > x
 Variables.
TupleSet tupleSet
 Definition of constraint.
Tuple ** last_data
 Last tuple looked at Access real tuple-set.

Detailed Description

Base for domain consistent extensional propagation

This class contains support for implementing domain consistent extensional propagation algorithms that use positive tuple sets and a last data structure.

Requires


Constructor & Destructor Documentation

Gecode::Int::Extensional::Base::Base ( Space home,
bool  share,
Base< View, subscribe > &  p 
) [inline, protected]

Constructor for cloning p.

Definition at line 64 of file base.hpp.

Gecode::Int::Extensional::Base::Base ( Home  home,
ViewArray< View > &  x,
const TupleSet t 
) [inline, protected]

Constructor for posting.

Definition at line 49 of file base.hpp.

virtual Gecode::Int::Extensional::Base::~Base ( void  ) [inline, protected, virtual]

Unused destructor (to avoid warnings)

Definition at line 273 of file extensional.hh.


Member Function Documentation

TupleSet::TupleSetI * Gecode::Int::Extensional::Base::ts ( void  ) [inline, protected]

Definition at line 85 of file base.hpp.

void Gecode::Int::Extensional::Base::init_last ( Space home,
Tuple **  source 
) [inline, protected]

Initialize last support.

Definition at line 74 of file base.hpp.

Tuple Gecode::Int::Extensional::Base::last ( int  i,
int  n 
) [inline, protected]

Find last support for view at position i and value n.

Definition at line 99 of file base.hpp.

Tuple Gecode::Int::Extensional::Base::last_next ( int  i,
int  n 
) [inline, protected]

Find last support for view at position i and value n.

Definition at line 105 of file base.hpp.

void Gecode::Int::Extensional::Base::init_dom ( Space home,
Domain  dom 
) [inline, protected]

Initialize domain information.

Definition at line 118 of file base.hpp.

bool Gecode::Int::Extensional::Base::valid ( Tuple  t,
Domain  dom 
) [inline, protected]

Check wether tuple is valid for domain.

Definition at line 129 of file base.hpp.

Tuple Gecode::Int::Extensional::Base::find_support ( Domain  dom,
int  i,
int  n 
) [inline, protected]

Find support for view at position i and value n.

Definition at line 138 of file base.hpp.

PropCost Gecode::Int::Extensional::Base::cost ( const Space home,
const ModEventDelta med 
) const [virtual]

Cost function (defined as high quadratic)

Implements Gecode::Propagator.

Reimplemented in Gecode::Int::Extensional::Incremental, and Gecode::Int::Extensional::Basic.

Definition at line 91 of file base.hpp.

size_t Gecode::Int::Extensional::Base::dispose ( Space home) [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::Int::Extensional::Incremental.

Definition at line 148 of file base.hpp.


Member Data Documentation

Variables.

Definition at line 244 of file extensional.hh.

Definition of constraint.

Definition at line 245 of file extensional.hh.

Last tuple looked at Access real tuple-set.

Definition at line 246 of file extensional.hh.


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