Module semantics

Semantics are defined in terms of Computations.

In order to support different kinds of definitions, Computation is a trait. The default implementation used by liblisa-synth can be found here.

Modules

• default
  Defines a default crate::semantics::Computation implementation called computation::SynthesizedComputation.

Structs

• InputValues
  A collection of input values for a Computation.

Enums

• IoType
  The type of an input or output of a Computation.
• OutputType
  An optimized representation of an output type. In case of IoType::Integer, this representation pre-computes the bitmask needed to perform equality comparisons.

Constants

• ARG_NAMES
  A default set of argument names that can be passed to Computation::display.

Traits

• Computation
  Implements the semantics of a single dataflow.