OKlibrary  0.2.1.6
InverseSingularDP.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 14.6.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 2013 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/MinimalUnsatisfiability/InverseSingularDP.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/MinimalUnsatisfiability/tests/InverseSingularDP.mac")$
00023 
00024 /* ********************************
00025    * Performing single extensions *
00026    ********************************
00027 */
00028 
00029 okltest_new_var_fcs(new_var_fcs);
00030 
00031 okltest_random_sublist(random_sublist);
00032 
00033 okltest_basic_inverse_singulardp_fcs(basic_inverse_singulardp_fcs);
00034 
00035 okltest_pre_hitting_extension_fcs_p(pre_hitting_extension_fcs_p);
00036 okltest_hitting_extension_fcs_p(hitting_extension_fcs_p);
00037 
00038 okltest_all_pre_hitting_extensions_fcs(all_pre_hitting_extensions_fcs);
00039 
00040 okltest_hittingdivisor_extension_cs(hittingdivisor_extension_cs);
00041 
00042 /* ********************************
00043    * Performing random extensions *
00044    ********************************
00045 */
00046 
00047 okltest_random_subset_si(random_subset_si);
00048 
00049 okltest_si_inverse_singulardp_fcs(si_inverse_singulardp_fcs);
00050 
00051 okltest_it_si_inverse_singulardp_fcs(it_si_inverse_singulardp_fcs);
00052