Module gf::ai::executor

🟢 Executors for abstract interpretations.

Structs

FixpointExecutor	🟢 Iterative executor that propagates state across edges until a fixed point is reached.
FixpointExecutorFrame	🟢 Frame in the internal call stack of FixpointExecutor.
FixpointExecutorState	🟢 State of a FixpointExecutor.
PathExecutor	🟢 Executor for interpreting code along a single path.
PathExecutorFrame	🟢 Frame in the internal call stack of a PathExecutor.
PathExecutorState	🟢 State of a PathExecutor.