OKlibrary  0.2.1.6
PartialAssignments.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 5.7.2008 (Swansea) */
00002 /* Copyright 2008 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/PartialAssignments.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/tests/PartialAssignments.mac")$
00023 
00024 /* ****************************************
00025    * The notion of a "partial assignment" *
00026    ****************************************
00027 */
00028 
00029 okltest_pa_p(pa_p);
00030 
00031 /* ***********************************
00032    * Enumerating partial assignments *
00033    ***********************************
00034 */
00035 
00036 okltest_all_pass(all_pass);
00037 okltest_all_pass_l(all_pass_l);
00038 okltest_all_pass_n(all_pass_n);
00039 okltest_all_tass(all_tass);
00040 okltest_all_tass_l(all_tass_l);
00041 
00042 /* ********************
00043    * Basic operations *
00044    ********************
00045 */
00046 
00047 okltest_var_pa(var_pa);
00048 
00049 okltest_restr_c_pa(restr_c_pa);
00050 
00051 okltest_compo_pass(compo_pass);
00052 
00053 /* ********************************
00054    * Applying partial assignments *
00055    ********************************
00056 */
00057 
00058 okltest_apply_pa_cs(apply_pa_cs);
00059 okltest_apply_pa_cl(apply_pa_cl);
00060 okltest_apply_pa_fcs(apply_pa_fcs);
00061 
00062 okltest_apply_pa_ip_cl(apply_pa_ip_cl);
00063 
00064 /* ****************************************************
00065    * Analysing partial assignments for satisfyingness *
00066    ****************************************************
00067 */
00068 
00069 okltest_sat_pac_p(sat_pac_p);
00070 
00071 okltest_sat_pacs_p(sat_pacs_p);
00072 okltest_sat_paocs_p(sat_paocs_p);
00073 okltest_sat_pacl_p(sat_pacl_p);
00074 okltest_sat_pafcs_p(sat_pafcs_p);
00075 okltest_sat_paofcs_p(sat_paofcs_p);
00076 okltest_sat_pafcl_p(sat_pafcl_p);
00077 
00078 okltest_sat_pa_cs(sat_pa_cs);
00079 okltest_sat_pa_fcs(sat_pa_fcs);
00080 
00081 /* ************************************************
00082    * Analysing partial assignments for autarkness *
00083    ************************************************
00084 */
00085 
00086 okltest_waut_pacs_p(waut_pacs_p);
00087 
00088 okltest_aut_pacs_p(aut_pacs_p);
00089 okltest_aut_paocs_p(aut_paocs_p);
00090 okltest_aut_paofcs_p(aut_paofcs_p);
00091 
00092 /* ********************************************
00093    * Complete analysis of partial assignments *
00094    ********************************************
00095 */
00096 
00097 okltest_analyse_pa_cs(analyse_pa_cs);
00098 okltest_analyse_pa_fcs(analyse_pa_fcs);
00099 
00100 /* ************************************
00101    * All satisfying assignments bydef *
00102    ************************************
00103 */
00104 
00105 okltest_all_sattass_cs(all_sattass_cs);
00106 okltest_all_sattass_ocs(all_sattass_ocs);
00107 okltest_all_sat_cs(all_sat_cs);
00108 okltest_all_sat_fcs(all_sat_fcs);
00109 okltest_all_sat_ofcs(all_sat_ofcs);
00110 
00111 /* ***********************
00112    * All autarkies bydef *
00113    ***********************
00114 */
00115 
00116 okltest_all_aut_cs(all_aut_cs);
00117 okltest_all_aut_ocs(all_aut_ocs);
00118 okltest_all_aut_ofcs(all_aut_ofcs);
00119 
00120 okltest_autmon_cs(autmon_cs);
00121 okltest_autmon_ocs(autmon_ocs);
00122