OKlibrary  0.2.1.6
GeneralisedUCP.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 31.1.2008 (Swansea) */
00002 /* Copyright 2008, 2009 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 
00021 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Reductions/GeneralisedUCP.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Reductions/tests/GeneralisedUCP.mac")$
00023 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Reductions/tests/UnitClausePropagation.mac")$
00024 
00025 /* **********************
00026    * The r_k reductions *
00027    **********************
00028 */
00029 
00030 okltest_generalised_ucp_cs(generalised_ucp_g_cs);
00031 okltest_generalised_ucp_cs(generalised_ucp_cs);
00032 okltest_generalised_ucp_pa(generalised_ucp_pa);
00033 okltest_generalised_ucp_opa(generalised_ucp_opa);
00034 
00035 okltest_ucp_cs(generalised_ucp1);
00036 
00037 /* *******************************
00038    * Reduction by weak autarkies *
00039    *******************************
00040 */
00041 
00042 okltest_weakaut_red(weakaut_red);
00043 okltest_weakaut_red_pa(weakaut_red_pa);
00044 
00045 /* ****************************************************************
00046    * Combining generalised unit-clause and weak-autarky-reduction *
00047    ****************************************************************
00048 */
00049 
00050 okltest_generalised_ucp_war(generalised_ucp_war);
00051 okltest_generalised_ucp_war_pa(generalised_ucp_war_pa);
00052 
00053 /* ******************************************************************
00054    * Generalised elimination of pure literals by forced assignments *
00055    ******************************************************************
00056 */
00057 
00058 okltest_generalised_ple(generalised_ple);
00059 okltest_generalised_ple_pa(generalised_ple_pa);
00060 
00061 /* *******************************************************
00062    * Look-ahead reduction for r_k and enforced autarkies *
00063    *******************************************************
00064 */
00065 
00066 okltest_generalised_ucp_ple(generalised_ucp_ple);
00067 okltest_generalised_ucp_ple_pa(generalised_ucp_ple_pa);
00068 
00069