OKlibrary  0.2.1.6
NonBoolean.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 17.4.2009 (Swansea) */
00002 /* Copyright 2009, 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/NonBoolean.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/tests/NonBoolean.mac")$
00023 
00024 /* **************************
00025    * Variables and literals *
00026    **************************
00027 */
00028 
00029 okltest_nbl_p(nbl_p);
00030 okltest_var_nbl(var_nbl);
00031 okltest_val_nbl(val_nbl);
00032 
00033 okltest_snbl_p(snbl_p);
00034 okltest_var_snbl(var_snbl);
00035 okltest_val_snbl(val_snbl);
00036 okltest_sgn_snbl(sgn_snbl);
00037 
00038 okltest_pl_p(pl_p);
00039 okltest_var_pl(var_pl);
00040 okltest_val_pl(val_pl);
00041 
00042 okltest_spl_p(spl_p);
00043 okltest_var_spl(var_spl);
00044 okltest_val_spl(val_spl);
00045 okltest_sgn_spl(sgn_snbl);
00046 
00047 /* ***********
00048    * Clauses *
00049    ***********
00050 */
00051 
00052 okltest_nbc_p(nbc_p);
00053 okltest_var_nbc(var_nbc);
00054 okltest_val_nbc(val_nbc);
00055 
00056 okltest_snbc_p(snbc_p);
00057 okltest_var_snbc(var_snbc);
00058 okltest_val_snbc(val_snbc);
00059 okltest_sgn_snbc(sgn_snbc);
00060 
00061 /* ***************
00062    * Clause-sets *
00063    ***************
00064 */
00065 
00066 okltest_nbcs_p(nbcs_p);
00067 okltest_var_nbcs(var_nbcs);
00068 okltest_val_nbcs(val_nbcs);
00069 okltest_lit_nbcs(lit_nbcs);
00070 
00071 okltest_snbcs_p(snbcs_p);
00072 okltest_var_snbcs(var_snbcs);
00073 okltest_val_snbcs(val_snbcs);
00074 okltest_sgn_snbcs(sgn_snbcs);
00075 okltest_lit_snbcs(lit_snbcs);
00076 
00077 okltest_nbcl_p(nbcl_p);
00078 okltest_var_nbcl(var_nbcl);
00079 okltest_val_nbcl(val_nbcl);
00080 okltest_lit_nbcl(lit_nbcl);
00081 
00082 okltest_snbcl_p(snbcl_p);
00083 okltest_var_snbcl(var_snbcl);
00084 okltest_val_snbcl(val_snbcl);
00085 okltest_sgn_snbcl(sgn_snbcl);
00086 okltest_lit_snbcl(lit_snbcl);
00087 
00088 okltest_nbfcs_p(nbfcs_p);
00089 okltest_var_nbfcs(var_nbfcs);
00090 okltest_val_nbfcs(val_nbfcs);
00091 okltest_lit_nbfcs(lit_nbfcs);
00092 
00093 okltest_snbfcs_p(snbfcs_p);
00094 okltest_var_snbfcs(var_snbfcs);
00095 okltest_val_snbfcs(val_snbfcs);
00096 okltest_sgn_snbfcs(sgn_snbfcs);
00097 okltest_lit_snbfcs(lit_snbfcs);
00098 
00099 okltest_nbfcl_p(nbfcl_p);
00100 okltest_var_nbfcl(var_nbfcl);
00101 okltest_val_nbfcl(val_nbfcl);
00102 okltest_lit_nbfcl(lit_nbfcl);
00103 
00104 okltest_snbfcl_p(snbfcl_p);
00105 okltest_var_snbfcl(var_snbfcl);
00106 okltest_val_snbfcl(val_snbfcl);
00107 okltest_lit_snbfcl(lit_snbfcl);
00108 
00109 okltest_nbfcsud_p(nbfcsud_p);
00110 okltest_snbfcsud_p(snbfcsud_p);
00111 okltest_nbfclud_p(nbfclud_p);
00112 okltest_snbfclud_p(snbfclud_p);
00113 
00114 okltest_nbfcsfd_p(nbfcsfd_p);
00115 okltest_snbfcsfd_p(snbfcsfd_p);
00116 okltest_nbfclfd_p(nbfclfd_p);
00117 okltest_snbfclfd_p(snbfclfd_p);
00118 
00119 okltest_nbfcsfd_equalp(nbfcsfd_equalp);
00120 
00121 /* ***************
00122    * Conversions *
00123    ***************
00124 */
00125 
00126 okltest_nbcs2nbcl(nbcs2nbcl);
00127 okltest_nbcl2nbcs(nbcl2nbcs);
00128 
00129 okltest_nbfcs2nbfcl(nbfcs2nbfcl);
00130 okltest_snbfcs2snbfcl(snbfcs2snbfcl);
00131 okltest_nbfcl2nbfcs(nbfcl2nbfcs);
00132 okltest_snbfcl2snbfcs(snbfcl2snbfcs);
00133 
00134 okltest_nbfcs2nbcs(nbfcs2nbcs);
00135 okltest_nbfcl2nbcl(nbfcl2nbcl);
00136 
00137 okltest_nbfcsud2nbfclud(nbfcsud2nbfclud);
00138 okltest_nbfclud2nbfcsud(nbfclud2nbfcsud);
00139 
00140 okltest_nbfcsfd2nbfclfd(nbfcsfd2nbfclfd);
00141 okltest_snbfcsfd2snbfclfd(snbfcsfd2snbfclfd);
00142 okltest_nbfclfd2nbfcsfd(nbfclfd2nbfcsfd);
00143 okltest_snbfclfd2snbfcsfd(snbfclfd2snbfcsfd);
00144 
00145 okltest_nbcs2nbfcs(nbcs2nbfcs);
00146 okltest_snbcs2snbfcs(snbcs2snbfcs);
00147 okltest_nbcl2nbfcl(nbcl2nbfcl);
00148 okltest_snbcl2snbfcl(snbcl2snbfcl);
00149 
00150 okltest_nbfcs2nbfcsud(nbfcs2nbfcsud);
00151 okltest_nbfcl2nbfclud(nbfcl2nbfclud);
00152 
00153 okltest_nbfcsud2nbfcsfd(nbfcsud2nbfcsfd);
00154 okltest_snbfcsud2snbfcsfd(snbfcsud2snbfcsfd);
00155 okltest_nbfclud2nbfclfd(nbfclud2nbfclfd);
00156 okltest_snbfclud2snbfclfd(snbfclud2snbfclfd);
00157