Function programinduction::trs::task_by_rewrite

pub fn task_by_rewrite<'a, O: Sync + 'a>(
    data: &'a [Rule],
    params: ModelParams,
    lex: &Lexicon,
    observation: O
) -> Result<impl Task<O, Representation = Lexicon, Expression = TRS> + 'a, TypeError>

Construct a Task evaluating TRSs (constructed from a Lexicon) using rewriting of inputs to outputs.

Each term_rewriting::Rule in data must have a single RHS term. The resulting Task checks whether each datum’s LHS gets rewritten to its RHS under a TRS within the constraints specified by the ModelParams.