task_by_rewrite

programinduction::trs

Function task_by_rewrite 

Source 
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>
Expand description

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.