Skip to main content

persistent_fixpoint_program

Function persistent_fixpoint_program 

Source
pub fn persistent_fixpoint_program(
    transfer_body: Vec<Node>,
    current: &str,
    next: &str,
    changed: &str,
    words: u32,
    max_iterations: u32,
) -> Program
Expand description

Build a persistent-fixpoint Program around a caller-supplied transfer body.

The generated program runs transfer_body, ping-pongs current and next, and stops when changed[0] == 0 or max_iterations is reached. Runtime and driver crates call this self-substrate wrapper instead of depending on the primitive catalog directly.