Module tract_hir::infer::rules[−][src]

Expand description

A fluent interface for the analyser.

This interface provides proxies for the different properties of tensors. This allows inference rules to be stated in a clear, declarative fashion inside the rules method of each operator.

Take these rules for instance:

solver.equals(inputs.len(), 2);
solver.equals(inputs[0].datum_type, outputs[0].datum_type);

Here, inputs.len, inputs[0].datum_type and outputs[0].datum_type don’t actually hold the values of the length and datum_types, but instead act as declarative placeholders for these values.