Combinational Regularity Analysis

---

Documentation for package ‘CORAtool’ version 0.1.2

• DESCRIPTION file.
• User guides, package vignettes and other documentation.
• Package NEWS.

Help Pages

bergschlosser	Berg-Schlosser and De Meur's praetorianism data
cora_compare_python	Cross-check a result against the Python implementation
cora_context	Create an optimisation context
cora_coverage_score	Sufficiency statistics of a prime implicant
cora_data_mining	Configurational data mining
cora_describe	Descriptive rendering of a solution
cora_dnf	Disjunctive normal form of a solution
cora_inclusion_score	Sufficiency statistics of a prime implicant
cora_irredundant_sums	Irredundant sums of a single-outcome analysis
cora_irredundant_systems	Irredundant systems of a multi-outcome analysis
cora_logigram	Draw a two-level logic diagram
cora_logigram.cora_context	Draw a two-level logic diagram
cora_logigram.cora_system	Draw a two-level logic diagram
cora_logigram.cora_system_multi	Draw a two-level logic diagram
cora_logigram.default	Draw a two-level logic diagram
cora_petrick	Solve a prime implicant chart with Petrick's method
cora_pi_chart	Prime implicant chart
cora_pi_details	Statistical overview of the prime implicants
cora_prime_implicants	Prime implicants of an optimisation context
cora_python_available	Is the Python CORA package reachable?
cora_recode	Recode conditions onto 0, 1, 2, ...
cora_solutions	Solution summary table
cora_system_details	Statistical overview of a solution
cora_truth_table	Truth table of an optimisation context
gross_carvin	Tort liability of highway authorities
mccluskey	McCluskey's two-output switching function
swiss_minaret	Swiss minaret referendum