From 0eb760e68f1a9da31672dc12ccc367598e37e559 Mon Sep 17 00:00:00 2001 From: Denys Duchier Date: Sat, 3 Dec 2011 23:35:44 +0100 Subject: [PATCH] doc for kept vars --- library/gecode/DOC.txt | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/library/gecode/DOC.txt b/library/gecode/DOC.txt index b37143f88..601934345 100644 --- a/library/gecode/DOC.txt +++ b/library/gecode/DOC.txt @@ -38,6 +38,16 @@ for an interval of themselves). It might be tempting to simply represent an IntSet as a list of specs, but this would be ambiguous with IntArgs which, here, are represented as lists of ints. + Space += keep(Var) + Space += keep(Vars) + +Variables can be marked as "kept". In this case, only such variables will be +explicitly copied during search. This could bring substantial benefits in +memory usage. Of course, in a solution, you can then only look at variables +that have been "kept". If no variable is marked as "kept", then they are all +kept. Thus marking variables as "kept" is purely an optimization. + + CONSTRAINTS AND BRANCHINGS ==========================