cna (version 4.0.3)

cna-internals: Internal functions in the cna package

Description

These functions are mainly for internal purposes and will not normally be called directly by the user.

Overview of Functions

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.