- c -

• comp : Heap< C >
• currentDeclareSpace : Implicative

- f -

• fct : UnivOptVar

- g -

• goal : Implicative

- h -

• heap : Heap< C >

- i -

• imp : Strategy
• indices : Heap< C >

- n -

• n : Implicative , MySpace , QSolver
• nbRanges : QSolver
• nbSpaces : Implicative
• nbVarBySpace : Implicative
• nodes : StrategyImp

- o -

• opt_type : Implicative::Opts
• optim : Implicative

- p -

• pointers : StrategyImp

- q -

• quantifier : StrategyNode
• Quantifiers : Implicative

- r -

• rules : Implicative

- s -

• scope : StrategyNode
• scopeId : UnivOptVar , ExistOptVar
• sp : QSolver

- t -

• type : StrategyNode
• type_of_v : Implicative , MySpace

- v -

• v : Implicative , MySpace
• valeurs : StrategyNode
• var : UnivOptVar
• varId : ExistOptVar
• varInitialised : Implicative
• vars : Implicative::Opts
• Vmax : StrategyNode
• Vmin : StrategyNode

- w -

• whichSpaceOwns : Implicative

- z -

• zetag : StrategyImp

---