| assign_bool(int var, int **vals, int nbVals)=0 | QSpace | [pure virtual] |
| assign_bool(int var, int b)=0 | QSpace | [pure virtual] |
| assign_int(int var, int **vals, int nbVals)=0 | QSpace | [pure virtual] |
| backtrack()=0 | QSpace | [pure virtual] |
| clone()=0 | QSpace | [pure virtual] |
| finalStatus(unsigned long int &propsteps)=0 | QSpace | [pure virtual] |
| indicateBranchingHeuristic(BranchingHeuristic *bh)=0 | QSpace | [pure virtual] |
| n | QSpace | [protected] |
| nv() | QSpace | [inline] |
| print()=0 | QSpace | [pure virtual] |
| ps | QSpace | [protected] |
| QSpace() | QSpace | |
| QSpace(QSpace &qs) | QSpace | |
| quantification(int v)=0 | QSpace | [pure virtual] |
| remove_bool(int var, int **vals, int nbVals)=0 | QSpace | [pure virtual] |
| remove_bool(int var, int b)=0 | QSpace | [pure virtual] |
| remove_int(int var, int **vals, int nbVals)=0 | QSpace | [pure virtual] |
| status(int var, unsigned long int &propsteps)=0 | QSpace | [pure virtual] |
| subsumed(int var)=0 | QSpace | [pure virtual] |
| type_of_v | QSpace | |
| v | QSpace | |
| ~QSpace() | QSpace | [inline, virtual] |
