OKlibrary  0.2.1.6
general.hpp
Go to the documentation of this file.
00001 // Oliver Kullmann, 31.1.2008 (Swansea)
00002 /* Copyright 2008, 2009, 2011 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00033 hardness_wpi_cs(F,F_PI) := block([max_k : 0, count : 0, maxcount : length(F_PI)],
00034   maxcount : length(F_PI),
00035   for C in F_PI do (
00036     count : count + 1,
00037     if mod(count, 50) = 0 then
00038       print(sconcat("[",count,"/",maxcount,"] Hardness(F) >= ", max_k," ...")),
00039     for k : 0 while generalised_ucp(apply_pa(comp_sl(C),F),k) # {{}} do
00040       max_k : max(max_k, k + 1)),
00041   return(max_k))$
00042 
00043 hardness_cs(F) := hardness_wpi_cs(F,min_resolution_closure_cs(F)[1])$
00044    \endverbatim
00045    </li>
00046    <li> DONE (see Hardness.mac)
00047    A new file Hardness.mac should be created in this module and
00048    these functions transferred there with tests. </li>
00049   </ul>
00050 
00051 
00052   \todo Create milestones
00053 
00054 
00055   \todo Write docus
00056 
00057 */
00058