OKlibrary  0.2.1.6
Statistics.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 4.4.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 2011, 2012 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/Statistics.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/tests/Statistics.mac")$
00023 
00024 /* ******************
00025    * Basic measures *
00026    ******************
00027 */
00028 
00029 okltest_nvar_cs(nvar_cs);
00030 okltest_nvar_ocs(nvar_ocs);
00031 okltest_nvar_cl(nvar_cl);
00032 okltest_nvar_fcs(nvar_fcs);
00033 okltest_nvar_fcl(nvar_fcl);
00034 okltest_nvar_ofcs(nvar_ofcs);
00035 
00036 okltest_ncl_fcs(ncl_fcs);
00037 okltest_ncl_fcl(ncl_fcl);
00038 okltest_ncl_cs(ncl_cs);
00039 okltest_ncl_cl(ncl_cl);
00040 
00041 okltest_nlitocc_cl(nlitocc_cl);
00042 okltest_nlitocc_cs(nlitocc_cs);
00043 okltest_nlitocc_fcl(nlitocc_fcl);
00044 okltest_nlitocc_fcs(nlitocc_fcs);
00045 
00046 okltest_ncl_list_fcl(ncl_list_fcl);
00047 okltest_ncl_list_fcs(ncl_list_fcs);
00048 okltest_ncl_list_cl(ncl_list_cl);
00049 okltest_ncl_list_cs(ncl_list_cs);
00050 
00051 okltest_max_rank_cs(max_rank_cs);
00052 okltest_max_rank_fcs(max_rank_fcs);
00053 okltest_min_rank_cs(min_rank_cs);
00054 okltest_min_rank_fcs(min_rank_fcs);
00055 
00056 okltest_uniformcsp(uniformcsp);
00057 
00058 /* *******************
00059    * Literal degrees *
00060    *******************
00061 */
00062 
00063 okltest_literal_degree_cs(literal_degree_cs);
00064 
00065 okltest_literal_degrees_cs(literal_degrees_cs);
00066 okltest_literal_degrees_cl(literal_degrees_cl);
00067 okltest_literal_degrees_fcs(literal_degrees_fcs);
00068 
00069 okltest_ordered_literal_degrees_cs(ordered_literal_degrees_cs);
00070 okltest_ordered_literal_degrees_fcs(ordered_literal_degrees_fcs);
00071 
00072 okltest_min_literal_degree_cs(min_literal_degree_cs);
00073 okltest_min_literal_degree_fcs(min_literal_degree_fcs);
00074 okltest_max_literal_degree_cs(max_literal_degree_cs);
00075 okltest_max_literal_degree_fcs(max_literal_degree_cs);
00076 
00077 okltest_min_literal_degree_l_cs(min_literal_degree_l_cs);
00078 okltest_max_literal_degree_l_cs(max_literal_degree_l_cs);
00079 okltest_max_literal_degree_l_cl(max_literal_degree_l_cl);
00080 
00081 okltest_literalregularcsp(literalregularcsp);
00082 
00083 okltest_mean_literal_degree_fcs(mean_literal_degree_fcs);
00084 
00085 okltest_min_literal_frequency_cs(min_literal_frequency_cs);
00086 okltest_max_literal_frequency_cs(max_literal_frequency_cs);
00087 okltest_max_literal_frequency_cs(max_literal_frequency_cs);
00088 
00089 okltest_literal_degrees_list_fcs(literal_degrees_list_fcs);
00090 
00091 okltest_max_literal_degree_tb(max_literal_degree_tb);
00092 okltest_max_literal_degree_tb_l_cs(max_literal_degree_tb_l_cs);
00093 
00094 /* ********************
00095    * Variable degrees *
00096    ********************
00097 */
00098 
00099 okltest_variable_degree_cs(variable_degree_cs);
00100 okltest_variable_degrees_cs(variable_degrees_cs);
00101 
00102 okltest_min_variable_degree_cs(min_variable_degree_cs);
00103 okltest_min_variable_degree_fcs(min_variable_degree_fcs);
00104 okltest_min_variable_degree_v_cs(min_variable_degree_v_cs);
00105 
00106 okltest_max_min_var_deg_cs(max_min_var_deg_cs);
00107 
00108 okltest_max_variable_degree_fcs(max_variable_degree_fcs);
00109 okltest_max_variable_degree_cs(max_variable_degree_cs);
00110 okltest_max_variable_degree_v_cs(max_variable_degree_v_cs);
00111 
00112 okltest_min_max_var_deg_cs(min_max_var_deg_cs);
00113 
00114 okltest_variableregularcsp(variableregularcsp);
00115 
00116 okltest_mean_variable_degree_cs(mean_variable_degree_cs);
00117 
00118 okltest_min_variable_frequency_cs(min_variable_frequency_cs);
00119 okltest_max_variable_frequency_cs(max_variable_frequency_cs);
00120 okltest_mean_variable_frequency_cs(mean_variable_frequency_cs);
00121 
00122 okltest_variable_degrees_list_cs(variable_degrees_list_cs);
00123 
00124 okltest_full_variables_cs(full_variables_cs);
00125 okltest_full_variables_fcs(full_variables_fcs);
00126 okltest_full_var_csp(full_var_csp);
00127 okltest_full_var_fcsp(full_var_fcsp);
00128 
00129 okltest_singularpure_variables_cs(singularpure_variables_cs);
00130 okltest_singular_variables_cs(singular_variables_cs);
00131 okltest_singular_variables_fcs(singular_variables_fcs);
00132 okltest_onesingular_variables_fcs(onesingular_variables_fcs);
00133 okltest_onesingular_variables_cs(onesingular_variables_cs);
00134 okltest_nononesingular_variables_fcs(nononesingular_variables_fcs);
00135 okltest_nononesingular_variables_cs(nononesingular_variables_cs);
00136 
00137 okltest_sortvar_prodocc_cs(sortvar_prodocc_cs);
00138 
00139 /* **********************
00140    * Numbers of clauses *
00141    **********************
00142 */
00143 
00144 okltest_nfcl_fcl(nfcl_fcl);
00145 okltest_nfcl_cs(nfcl_cs);
00146 
00147 okltest_weighted_ncl_2n_cs(weighted_ncl_2n_cs);
00148 okltest_weighted_ncl_2n_fcs(weighted_ncl_2n_fcs);
00149 
00150 /* **************************
00151    * Summarising statistics *
00152    **************************
00153 */
00154 
00155 okltest_statistics_cs(statistics_cs);
00156 okltest_statistics_fcs(statistics_fcs);
00157 okltest_extended_statistics_fcs(extended_statistics_fcs);
00158 
00159