| cnaOpt | 找到具有最佳一致性和覆盖率的原子解公式 | ||
| conCovOpt | 找到配置数据的一致性和覆盖率优化 | ||
| DNFbuild | 构造实现con-cov最优解的析取范式 | ||
| ereduce | 从析取范式（DNF）中消除冗余 | ||
| findOutcomes | 在运行CNA之前，确定可以作为结果建模的因素 | ||
| multipleMax | 从“convopt”对象中选择con-cov最优，该对象根据指定的最优准则是最佳的 | ||
| plot.conCovOpt | 找到配置数据的一致性和覆盖率优化 | ||
| print.conCovOpt | 找到配置数据的一致性和覆盖率优化 | ||
| reprodAssign | 构造实现con-cov最优解的析取范式 | ||
| rreduce | 从析取范式（DNF）中消除冗余 | ||
| selectMax | 从“convopt”对象中选择con-cov最优，该对象根据指定的最优准则是最佳的 |