Coverage of a search space against what the engine can express

Description

The engine refuses to narrow a search space silently: a feature it cannot build a candidate for is an error at load ([ferx_search_config](ferx_search_config.qmd)). This function reports the same information non-fatally, as a table, so an unsupported feature is a row to read rather than a run that aborts - the way to find out that ELIMINATION(MM) has no candidate before writing the file.

Usage

ferx_search_coverage(space)

Arguments

space: A ferx_search_space, a ferx_search_config, or MFL source text.

Details

Covered features are listed as written. An uncovered feature is listed once per gap, under the name the engine reports - the offending mode (ELIMINATION(MM)), which for a wildcard such as ELIMINATION(*) is the more useful identity than the source statement.

[ferx_search_space](ferx_search_space.qmd), [ferx_search_config](ferx_search_config.qmd)Other search: [ferx_allometry](ferx_allometry.qmd), [ferx_amd](ferx_amd.qmd), [ferx_amd_plan](ferx_amd_plan.qmd), [ferx_covsearch](ferx_covsearch.qmd), [ferx_globalsearch](ferx_globalsearch.qmd), [ferx_iivsearch](ferx_iivsearch.qmd), [ferx_iovsearch](ferx_iovsearch.qmd), [ferx_modelsearch](ferx_modelsearch.qmd), [ferx_ruvsearch](ferx_ruvsearch.qmd), [ferx_search_config](ferx_search_config.qmd), [ferx_search_results](ferx_search_results.qmd), [ferx_search_space](ferx_search_space.qmd)

Concept

Value

A data frame with columns feature, covered (logical) and reason (NA for a covered feature, otherwise the engine’s explanation).

Examples

ferx_search_coverage("ABSORPTION([INST, FO]); ELIMINATION(FO)")

# A gap is a row, not an error
ferx_search_coverage("ELIMINATION([FO, MM])")