Generated on Fri Mar 20 12:35:18 2009 for cpsp-2.3.1 by doxygen 1.5.5

cpsp::gecode Namespace Reference


Detailed Description

The "gecode" namespace collects all classes neccessary for an implementation of CPSP with the Gecode(TM) constraint programming library.

http://www.gecode.org


Data Structures

class  FirstSolBranching
class  GC_HPThreading
class  GC_LatticeNeighbored2
class  GC_Neighbored2
class  GC_Neighbored3
class  GC_RankViewSel
class  GC_StlSetRangeIterator
class  GC_ThreadingSpace
class  GC_ThreadingSpaceMoveDist
class  GC_ThreadingSpacePosDist
class  GC_ThreadingSpaceShapes
class  GC_ThreadingSymmBreaker
 SymmBreaker for Graph Coloring. More...
class  GC_ValNearCenter
class  IdxIntView
 an IntView that provides its index in the original viewarray More...
class  IntDomSize

Typedefs

typedef
Gecode::BinaryPropagator
< Gecode::Int::IntView,
Gecode::Int::PC_INT_DOM > 
GC_BinProp
typedef
Gecode::TernaryPropagator
< Gecode::Int::IntView,
Gecode::Int::PC_INT_DOM > 
GC_TriProp
typedef IdxIntView MyViewType
typedef Gecode::Space SuperSpace

Enumerations

enum  BranchingType { BR_NONE = 0, BR_DFS = 1, BR_DDS = 2, BR_SYM = 4 }

Functions

void print (biu::IndexSet &x, const biu::LatticeFrame *latFrame)

Variables

int solutionLvl


Typedef Documentation

typedef Gecode::BinaryPropagator< Gecode::Int::IntView, Gecode::Int::PC_INT_DOM > cpsp::gecode::GC_BinProp

Definition at line 35 of file GC_LatticeNeighbored2.hh.

typedef Gecode::TernaryPropagator< Gecode::Int::IntView, Gecode::Int::PC_INT_DOM> cpsp::gecode::GC_TriProp

Definition at line 18 of file old_GC_Neighbored3.hh.

Definition at line 23 of file GC_Search.hh.

typedef Gecode::Space cpsp::gecode::SuperSpace

Definition at line 51 of file GC_ThreadingSpace.hh.


Enumeration Type Documentation

BranchingType is used to guide the branchings stated in the ThreadingSpace constructor.

Enumerator:
BR_NONE  no branching is posted
BR_DFS  DFS ViewValbranching on all variables is posted.
BR_DDS  DFS ViewValbranching on all singlet or core border elements, DDS ViewValbranching is posted on all remaining vars ==> currently not supported ==> no branching posted.
BR_SYM  symmetrie breaking is posted as the first branching (not sufficient to solve the problem alone)

Definition at line 56 of file GC_ThreadingSpace.hh.


Function Documentation

void cpsp::gecode::print ( biu::IndexSet &  x,
const biu::LatticeFrame *  latFrame 
)

Definition at line 50 of file GC_ThreadingSpace.cc.


Variable Documentation

Definition at line 31 of file GC_FirstSolBranching.hh.