liblisa::semantics::default

Module codegen

Expand description

Provides CodeGenerator, a trait for code generation.

Also provides two code generators in submodules:

Modules§

  • sexpr
    S-expression code generator.
  • smt
    SMT code generator.

Structs§

  • Term
    A partially generated term.

Enums§

  • TermOp
    A term in the code generator

Traits§

  • CodeGenerator
    A code generator that can generate code for computations.

Functions§