#include <myspace.hh>
Public Member Functions | |
QECODE_EXPORT | MySpace (unsigned int nv) |
Constructor of a space with a fixed number of variables. | |
QECODE_EXPORT int | nbVars () |
QECODE_EXPORT | MySpace (bool share, MySpace &ms) |
virtual QECODE_EXPORT MySpace * | copy (bool share) |
virtual QECODE_EXPORT | ~MySpace () |
Public Attributes | |
void ** | v |
This array contains all the variables this space contains. | |
VarType * | type_of_v |
This array indicates the type of each variable. | |
Protected Attributes | |
unsigned int | n |
A simple extension of the Space class from Gecode, in order to have access to the variables it contains.
Definition at line 39 of file myspace.hh.
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).
nv | the number of variable the space must contain. |
Definition at line 29 of file myspace.cc.
References n, type_of_v, and v.
Referenced by copy().
MySpace::MySpace | ( | bool | share, | |
MySpace & | ms | |||
) |
MySpace::~MySpace | ( | ) | [virtual] |
QECODE_EXPORT int MySpace::nbVars | ( | ) | [inline] |
MySpace * MySpace::copy | ( | bool | share | ) | [virtual] |
unsigned int MySpace::n [protected] |
void** MySpace::v |
This array contains all the variables this space contains.
Definition at line 47 of file myspace.hh.
Referenced by Implicative::bvar(), MySpace(), Implicative::QBoolVar(), Implicative::QIntVar(), QSolver::rSolve(), Implicative::var(), and ~MySpace().
This array indicates the type of each variable.
Definition at line 52 of file myspace.hh.
Referenced by MySpace(), Implicative::QBoolVar(), Implicative::QIntVar(), QSolver::rSolve(), and ~MySpace().