Thanks everyone   
   Especially the mods for the reformatting.   
      
   > And your answer to the obvious review question "What is the benefit of   
   > that?"  "How hat make the code simpler and better to handle?" is?   
      
   Several of the header files referred to both vector and std::vector,   
   (without containing any ``using'' declarations/directives), forcing   
   me to spend quite a while checking other headers to confirm that the   
   former was in fact the standard library vector, and not some other   
   type which had been given the same name in an example of really bad   
   practice.   
   There's very little documentation for this SAT-solver, and I had seen   
   some classes criticised for having names too similar to standard C++   
   classes. Prefixing the standard library functions etc. with std::   
   where applicable seemed a good way to eliminate the ambiguity.   
      
      
   --   
         [ See http://www.gotw.ca/resources/clcm.htm for info about ]   
         [ comp.lang.c++.moderated.    First time posters: Do this! ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)