MySpace Class Reference

A simple extension of Gecode::Space class. A simple extension of the Space class from Gecode, in order to have access to the variables it contains. More...

#include <myspace.hh>

List of all members.

Public Member Functions
	MySpace (unsigned int nv)
	Constructor of a space with a fixed number of variables. Builds a space which will contain nv variables (the variables themselves are however not declared.
	MySpace (bool share, MySpace &ms)
virtual MySpace *	copy (bool share)
	~MySpace ()
Public Attributes
IntVarArray	v
Protected Attributes
unsigned int	n

---

Detailed Description

A simple extension of Gecode::Space class. A simple extension of the Space class from Gecode, in order to have access to the variables it contains.

Definition at line 34 of file myspace.hh.

---

Constructor & Destructor Documentation

MySpace::MySpace

(

unsigned int

nv

)

Constructor of a space with a fixed number of variables. Builds a space which will contain nv variables (the variables themselves are however not declared.

Parameters:

nv

the number of variable the space must contain.

Definition at line 29 of file myspace.cc.

References n, and v.

Referenced by copy().

MySpace::MySpace	(	bool	share,
		MySpace &	ms
	)

Definition at line 37 of file myspace.cc.

References n, and v.

MySpace::~MySpace

(

)

Definition at line 35 of file myspace.cc.

---

Member Function Documentation

MySpace * MySpace::copy

(

bool

share

)

[virtual]

Definition at line 43 of file myspace.cc.

References MySpace().

---

Member Data Documentation

unsigned int MySpace::n [protected]

Definition at line 37 of file myspace.hh.

Referenced by MySpace().

IntVarArray MySpace::v

This array contains all the variables this space contains.

Definition at line 43 of file myspace.hh.

Referenced by Implicative::bvar(), Implicative::cascade(), valueHeuristic::getVar(), MySpace(), Implicative::print(), Implicative::QBoolVar(), Implicative::QIntVar(), Implicative::subsumed(), and Implicative::var().

---

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

• /Users/jamian/qecode-1.1/qecode/myspace.hh
• /Users/jamian/qecode-1.1/qecode/myspace.cc

---