Implement cliques in CglProbing

[svigerske]

Issue created by migration from Trac.

Original creator: @LouHafer

Original creation time: 2011-02-19 00:43:14

Assignee: @LouHafer

Turns out that the clique code in CglProbing has been unused since April 2008 and never really worked. As part of the ongoing rewrite of CglProbing ([branches/CglWorking101215/src/CglProbing])) I've just lopped out all code associated with cliques, snapshots, and mode 0 (these are all intertwined). When someone comes back to get this working, the place to start is d7c1744662, the last revision that still had all the code.

[svigerske]

Comment by @LouHafer created at 2011-02-24 22:02:45

The followup to 8e22c73 (rough cut for removal of generalised cliques from CglProbing) is 15efc38 and the immediately previous commits, which remove CglTreeProbingInfo. If generalised cliques are gone, there's no justification for CglTreeProbingInfo. There was a lot of collateral damage to repair. CglTreeProbingInfo and generalised clique code were inserted in far too many places. CglGeneralisedClique.hpp preserves a tiny bit required by CglKnapsackCover.