QSpace Member List

This is the complete list of members for QSpace, including all inherited members.

assign(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(unsigned int nv)	QSpace
QSpace(QSpace &qs)	QSpace
quantification(int v)=0	QSpace	[pure virtual]
remove(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]
v	QSpace
~QSpace()	QSpace	[inline, virtual]

---