Module gf::ai::symbolic

🟢 Symbolic interpretation.

Structs

SymbolicInterp	🟢 Symbolic interpretation.
SymbolicSpaceState	🟢 Implementation of SpaceState for use with symbolic interpretation.
SymbolicState	🟢 Symbolic state.
TrivialConcretizer	🟢 Trivial implementation of Concretizer that concretizes only constant expressions.

Traits

Concretizer

🟢 A concretization delegate.