Skip to content

Symbol solvers

Matheus Dias de Souza edited this page Jul 27, 2024 · 1 revision

Modeling semantics

Define symbols for a semantic model with the help of the SModel crate, which provides an arena-oriented inheritance type declaration supporting dynamic dispatch for Rust.

Assigning nodes

Assigning data to nodes is easy.

Assigning a node

Clone this wiki locally