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.

typedef IdxIntView cpsp::gecode::MyViewType

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

enum cpsp::gecode::BranchingType

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

int cpsp::gecode::solutionLvl

Definition at line 31 of file GC_FirstSolBranching.hh.