OKlibrary  0.2.1.6
Substitutions.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 27.7.2007 (Swansea) */
00002 /* Copyright 2008, 2009, 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/Substitutions.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/tests/Substitutions.mac")$
00023 
00024 /* ********************************************
00025    * Substitutions for variables and literals *
00026    ********************************************
00027 */
00028 
00029 okltest_substitute_l(substitute_l);
00030 
00031 /* *****************************
00032    * Substitutions for clauses *
00033    *****************************
00034 */
00035 
00036 okltest_substitute_c(substitute_c);
00037 
00038 /* *********************************
00039    * Substitutions for clause-sets *
00040    *********************************
00041 */
00042 
00043 okltest_substitute_cs(substitute_cs);
00044 
00045 okltest_rename_fcs(rename_fcs);
00046 okltest_rename_cs(rename_cs);
00047 
00048 okltest_all_var_renamings_fcs(all_var_renamings_fcs);
00049 okltest_all_sign_flippings_fcs(all_sign_flippings_fcs);
00050 okltest_all_renamings_fcs(all_renamings_fcs);
00051 
00052 okltest_standardise_fcs(standardise_fcs);
00053 okltest_make_vardisjoint_fcs(make_vardisjoint_fcs);
00054 okltest_make_vardisjoint_vl_fcs(make_vardisjoint_vl_fcs);
00055