Index - V
| value | Control.CP.FD.FDSugar |
| VAR | Control.CP.Herbrand.Herbrand |
| VarId | Control.CP.Herbrand.Herbrand |
| VarInfo | |
| 1 (Type/Class) | Control.CP.FD.FD |
| 2 (Data Constructor) | Control.CP.FD.FD |
| VarMap | Control.CP.FD.FD |
| varMap | Control.CP.FD.FD |
| VarSupply | |
| 1 (Type/Class) | Control.CP.FD.FD |
| 2 (Type/Class) | Control.CP.Herbrand.Herbrand |
| varSupply | |
| 1 (Function) | Control.CP.FD.FD |
| 2 (Function) | Control.CP.Herbrand.Herbrand |
| var_supply | Control.CP.Herbrand.Herbrand |
| VSPT | Control.CP.Herbrand.PrologTerm, Control.CP.Herbrand.Prolog |