OKlibrary  0.2.1.6
Constructions.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 5.5.2008 (Guangzhou) */
00002 /* Copyright 2008, 2009, 2010, 2012, 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/ClauseSets/Constructions.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/tests/Constructions.mac")$
00023 
00024 /* **********************
00025    * Logical operations *
00026    **********************
00027 */
00028 
00029 okltest_c2cl_expand(c2cl_expand);
00030 okltest_c2cs_expand(c2cs_expand);
00031 okltest_expand_fcs(expand_fcs);
00032 okltest_expand_cs(expand_cs);
00033 
00034 okltest_or_cs2(or_cs2);
00035 okltest_or_cs(or_cs);
00036 
00037 okltest_dual_cs(dual_cs);
00038 
00039 okltest_comp_cs(comp_cs);
00040 okltest_comp_fcs(comp_fcs);
00041 
00042 okltest_neg_cs(neg_cs);
00043 
00044 /* ****************************
00045    * Combinatorial operations *
00046    ****************************
00047 */
00048 
00049 okltest_vardisjoint_sum_fcs(vardisjoint_sum_fcs);
00050 
00051 okltest_vardisjoint_full_gluing(vardisjoint_full_gluing);
00052 okltest_full_gluing(full_gluing);
00053 okltest_partial_gluing(partial_gluing);
00054 
00055 okltest_twisting_cs(twisting_cs);
00056 okltest_twisting_var_disjoint_cs(twisting_var_disjoint_cs);
00057