- b -

• bh : QSolver , Warner
• bloc : BranchingHeuristic
• blocks : BranchingHeuristic

- c -

• comp : Heap< C >
• curHeap : BranchingHeuristic
• currentDeclareSpace : Implicative

- d -

• debug : QSolver

- e -

• eval : BranchingHeuristic , QSolver

- g -

• goal : Implicative
• goalDefined : Implicative
• goalStatus : Implicative

- h -

• heap : Heap< C >
• heaps : BranchingHeuristic

- i -

• indices : Heap< C >

- n -

• n : MySpace , QSpace , QSolver
• nbRanges : QSolver
• nbSpaces : Implicative
• nbVarBySpace : Implicative

- p -

• prop_power : Implicative
• ps : QSpace

- q -

• q : Implicative

- r -

• ruleDefined : Implicative
• rules : Implicative
• ruleStatus : Implicative

- s -

• score : BranchingHeuristic
• scores : ExtensiveComparator
• size : ExtensiveComparator , BranchingHeuristic
• sp : Warner , QSolver

- t -

• touched : BranchingHeuristic
• toWarn : IntWarningProp , BoolWarningProp
• treated : BranchingHeuristic
• type_of_v : MySpace , QSpace

- v -

• v : MySpace , QSpace
• valEval : QSolver
• var : IntWarningProp , BoolWarningProp
• varInitialised : Implicative

- w -

• w : Implicative
• whichSpaceOwns : Implicative

---