Method next_u64

crates/kernel/src/level.rs:1033–1040

(&mut self)

      UnivData::Zero(_) => 0,
      UnivData::Succ(i, _) => eval_level(i, assign) + 1,
      UnivData::Max(a, b, _) => {
        eval_level(a, assign).max(eval_level(b, assign))
      },
      UnivData::IMax(a, b, _) => {
        let vb = eval_level(b, assign);
        if vb == 0 { 0 } else { eval_level(a, assign).max(vb) }
      },
      UnivData::Param(i, _, _) => assign[usize::try_from(*i).unwrap()],
    }
  }