OKlibrary  0.2.1.6
Hypergraphs.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 2.2.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 2010, 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 
00021 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/Hypergraphs.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/tests/Hypergraphs.mac")$
00023 
00024 
00025 /* *******************************************
00026    * Clause-variable matrices and variations *
00027    *******************************************
00028 */
00029 
00030 okltest_clvar_g(clvar_g);
00031 
00032 okltest_var_fcs2hg(var_fcs2hg);
00033 okltest_var_fcs2ghg(var_fcs2ghg);
00034 
00035 okltest_cvg_cs(cvg_cs);
00036 
00037 okltest_cl_var_com_fcs(cl_var_com_fcs);
00038 okltest_clvar_com2fcs(clvar_com2fcs);
00039 okltest_clvar_ocom2fcl(clvar_ocom2fcl);
00040 okltest_clvar_m2fcs(clvar_m2fcs);
00041 okltest_clvar_w_com2fcs(clvar_w_com2fcs);
00042 okltest_clvar_w_ocom2fcl(clvar_w_ocom2fcl);
00043 
00044 okltest_cl_int_scom_cs(cl_int_scom_cs);
00045 okltest_var_int_scom_fcs(var_int_scom_fcs);
00046 
00047 okltest_var_lit_clause_digraph(var_lit_clause_digraph);
00048 
00049 /* ***************************************
00050    * Implication graphs (and variations) *
00051    ***************************************
00052 */
00053 
00054 okltest_implication_dg_fcs(implication_dg_fcs);
00055 
00056 /* ************
00057    * Measures *
00058    ************
00059 */
00060 
00061 okltest_min_degree_cvg_cs(min_degree_cvg_cs);
00062 okltest_max_degree_cvg_cs(max_degree_cvg_cs);
00063 
00064 okltest_deficiency_fcs(deficiency_fcs);
00065 okltest_deficiency_cs(deficiency_cs);
00066 
00067 okltest_max_deficiency_fcs(max_deficiency_fcs);
00068 
00069 okltest_surplus_bydef_fcs(surplus_bydef_fcs);
00070 okltest_surplus_bydef_cs(surplus_bydef_cs);
00071 
00072 /* ************
00073    * Analysis *
00074    ************
00075 */
00076 
00077 okltest_var_disjointfcsp(var_disjointfcsp);
00078 
00079 okltest_accumulation_variables_cs(accumulation_variables_cs);
00080 
00081 okltest_full_variables_fcs(full_variables_fcs);
00082