Module semantics
Expand description
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::Computationimplementation calledcomputation::SynthesizedComputation.
Structs§
- Input
Values - A collection of input values for a
Computation.
Enums§
- IoType
- The type of an input or output of a
Computation. - Output
Type - 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.