OKlibrary  0.2.1.6
BasicOperations.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 28.1.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 2010, 2011, 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/BasicOperations.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/tests/BasicOperations.mac")$
00023 
00024 /* **************************
00025    * Variables and literals *
00026    **************************
00027 */
00028 
00029 okltest_v_p(v_p);
00030 okltest_l_p(l_p);
00031 
00032 okltest_var_l(var_l);
00033 
00034 okltest_sign_l(sign_l);
00035 okltest_pos_l(pos_l);
00036 okltest_neg_l(neg_l);
00037 
00038 okltest_literals_v(literals_v);
00039 
00040 okltest_gv(gv);
00041 
00042 /* ***********
00043    * Clauses *
00044    ***********
00045 */
00046 
00047 okltest_comp_sl(comp_sl);
00048 
00049 okltest_c_p(c_p);
00050 
00051 okltest_clashp(clashp);
00052 
00053 okltest_var_sl(var_sl);
00054 okltest_var_sl(var_c);
00055 
00056 okltest_pospart_c(pospart_c);
00057 okltest_negpart_c(negpart_c);
00058 okltest_posp_c(posp_c);
00059 okltest_negp_c(negp_c);
00060 
00061 /* ***************
00062    * Clause-sets *
00063    ***************
00064 */
00065 
00066 okltest_cs_p(cs_p);
00067 okltest_ocs_p(ocs_p);
00068 okltest_cl_p(cl_p);
00069 okltest_fcs_p(fcs_p);
00070 okltest_ofcs_p(ofcs_p);
00071 okltest_fcl_p(fcl_p);
00072 
00073 okltest_var_cs(var_cs);
00074 okltest_var_cl(var_cl);
00075 okltest_var_ocs(var_ocs);
00076 okltest_var_fcs(var_fcs);
00077 okltest_var_fcl(var_fcl);
00078 okltest_var_ofcs(var_ofcs);
00079 
00080 okltest_ovar_cl(ovar_cl);
00081 
00082 okltest_olit_cs(olit_cs);
00083 okltest_flit_cs(flit_cs);
00084 
00085 okltest_cs2fcs(cs2fcs);
00086 okltest_cl2fcl(cl2fcl);
00087 okltest_ocs2ofcs(ocs2ofcs);
00088 
00089 okltest_cs2ocs(cs2ocs);
00090 okltest_fcs2ofcs(fcs2ofcs);
00091 okltest_fcs2fcl(fcs2fcl);
00092 
00093 okltest_cs2fcl(cs2fcl);
00094 
00095 okltest_ocs2cs(ocs2cs);
00096 okltest_cl2cs(cl2cs);
00097 
00098 okltest_fcs2cs(fcs2cs);
00099 okltest_ofcs2ocs(ofcs2ocs);
00100 okltest_fcl2cl(fcl2cl);
00101 okltest_fcl2cs(fcl2cs);
00102 
00103 /* ***********************************
00104    * Selecting parts of a clause-set *
00105    ***********************************
00106 */
00107 
00108 okltest_scs_k(scs_k);
00109 okltest_scs_l(scs_l);
00110 okltest_scs_v(scs_v);
00111 okltest_scs_V(scs_V);
00112 
00113 /* **************************
00114    * Crossing out variables *
00115    **************************
00116 */
00117 
00118 okltest_apply_sv_c(apply_sv_c);
00119 okltest_apply_sv_cs(apply_sv_cs);
00120 okltest_apply_sv_cl(apply_sv_cl);
00121 okltest_apply_sv_ip_cl(apply_sv_ip_cl);
00122 
00123 okltest_restrict_V_cs(restrict_V_cs);
00124 okltest_restrict_V_cl(restrict_V_cl);
00125 
00126 /* *****************************************
00127    * Printing clause-sets in Dimacs-format *
00128    *****************************************
00129 */
00130 
00131 okltest_dimacs_l_string(dimacs_l_string);
00132 okltest_dimacs_c_string(dimacs_c_string);
00133 okltest_dimacs_c_stringext(dimacs_c_stringext);
00134 
00135 okltest_print_fcs_v(print_fcs_v);
00136 okltest_print_fcl_v(print_fcl_v);
00137 
00138 okltest_standard_statistics_fcs(standard_statistics_fcs);
00139 
00140 /* *****************************************
00141    * Printing clause-sets in PLA-format    *
00142    *****************************************
00143 */
00144 
00145 okltest_print_fcl2pla(print_fcl2pla);
00146