Internal functions in the cna package
These functions are mainly for internal purposes and will not normally be called directly by the user.
noblanks, lhs, rhs, extract_asf:: Manipulation of character vectors containing conditions and atomic solution formulas.ctInfo:: Alternative internal represenation of a configTable.qcond_bool, qcond_asf, qcond_csf:: Fast evaluation of the well-formedness of conditions, asf, and csf.getCondType, getComplexity:: Extract condition type and complexity values from a character vector containing conditions.stdCond, matchCond:: Standardize and match conditions.relist1, hstrsplit, C_mconcat, C_mconcat, C_recCharList2char, C_relist_Int:: Utility functions for conversion between different represenations of conditions.C_redund:: Internal version of the test for structural redundancy (used in redundant).getCond:: Derive a condition from a data set.rreduce:: Eliminate redundancies from a disjunctive normal form.redundant, minimalizeCsf:: Identify structurally redundant asf in a csf and eliminate them.C_is_submodel:: Internal core of the function is.submodel..det, .inus, .exff, .redund, .inCsf:: These are generic auxiliary functions used internally within other functions.