#include <myspace.hh>
Public Member Functions | |
QECODE_EXPORT | 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). | |
QECODE_EXPORT | MySpace (bool share, MySpace &ms) |
virtual QECODE_EXPORT MySpace * | copy (bool share) |
virtual QECODE_EXPORT | ~MySpace () |
Public Attributes | |
void ** | v |
VarType * | type_of_v |
Protected Attributes | |
unsigned int | n |
Types of variables.
Definition at line 41 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] |
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 49 of file myspace.hh.
Referenced by Implicative::bvar(), Implicative::cascade(), valueHeuristic::getBoolVar(), valueHeuristic::getIntVar(), MySpace(), Implicative::print(), Implicative::QBoolVar(), Implicative::QIntVar(), Implicative::subsumed(), Implicative::var(), and ~MySpace().
This array indicates the type of each variable.
Definition at line 54 of file myspace.hh.
Referenced by MySpace(), Implicative::QBoolVar(), Implicative::QIntVar(), and ~MySpace().