OKlibrary  0.2.1.6
uhit_def.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 1.5.2008 (Guangzhou) */
00002 /* Copyright 2008, 2009, 2012 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/data/uhit_def.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/MinimalUnsatisfiability/tests/uhit_def.mac")$
00023 
00024 okltest_uhit_def(uhit_def);
00025 
00026 /* *************************************
00027    * Bounds on the deficiency and on n *
00028    *************************************
00029 */
00030 
00031 okltest_max_def_uhit_n(max_def_uhit_n);
00032 okltest_min_n_uhit_def(min_n_uhit_def_i);
00033 okltest_min_n_uhit_def(min_n_uhit_def_l);
00034 
00035 /* ***************************
00036    * Accessing the catalogue *
00037    ***************************
00038 */
00039 
00040 okltest_all_uhit_def(all_uhit_def);
00041 
00042 okltest_collect_uhit_n(collect_uhit_n);
00043 okltest_uhit_n_data(uhit_n_data);
00044 okltest_uhit_n(uhit_n);
00045 
00046 /* ****************************
00047    * Evaluating the catalogue *
00048    ****************************
00049 */
00050 
00051 okltest_classify_candidates_uhit_def(classify_candidates_uhit_def);
00052 
00053 okltest_analyse_isorepo_defset_mvd(analyse_isorepo_defset_mvd);
00054 
00055 /* ****************************
00056    * Completing the catalogue *
00057    ****************************
00058 */
00059 
00060