Function put_univ

crates/ixon/src/univ.rs:53–87

Serialize a universe to bytes (iterative to avoid stack overflow).

(u: &Univ, buf: &mut Vec<u8>)

/// Serialize a universe to bytes (iterative to avoid stack overflow).
pub fn put_univ(u: &Univ, buf: &mut Vec<u8>) {
  let mut stack: Vec<&Univ> = vec![u];

  while let Some(curr) = stack.pop() {
    match curr {
      Univ::Zero => {
        Tag2::new(Univ::FLAG_ZERO_SUCC, 0).put(buf);
      },
      Univ::Succ(inner) => {
        // Count the number of successors for telescope compression
        let mut count = 1u64;
        let mut base = inner.as_ref();
        while let Univ::Succ(next) = base {
          count += 1;
          base = next.as_ref();
        }
        Tag2::new(Univ::FLAG_ZERO_SUCC, count).put(buf);
        stack.push(base);
      },
      Univ::Max(a, b) => {
        Tag2::new(Univ::FLAG_MAX, 0).put(buf);
        stack.push(b); // Process b after a
        stack.push(a);
      },
      Univ::IMax(a, b) => {
        Tag2::new(Univ::FLAG_IMAX, 0).put(buf);
        stack.push(b); // Process b after a
        stack.push(a);
      },
      Univ::Var(idx) => {
        Tag2::new(Univ::FLAG_VAR, *idx).put(buf);
      },
    }
  }
}

/// Frame for iterative universe deserialization.
enum GetUnivFrame {