Struct TinyXgcfDevice 

pub struct TinyXgcfDevice {
    pub num_nodes: usize,
    pub num_vars: usize,
    pub root: u32,
    /* private fields */
}

Device-resident XGCF circuit + reusable buffers.

This is used by certification categories that validate transfer efficiency and circuit reuse. The key property: circuit structure is uploaded once; repeated evaluations reuse device buffers.

Fields

num_nodes: usize

num_vars: usize

root: u32

Implementations

impl TinyXgcfDevice

pub fn upload(ctx: &TestContext, spec: &TinyXgcfSpec) -> Result<Self>

pub fn set_weights( &mut self, ctx: &TestContext, log_true: &[f64], log_false: &[f64], ) -> Result<()>

pub fn forward_launch(&mut self, _ctx: &TestContext) -> Result<()>

Launch forward kernels (no sync, no host transfers).

pub fn forward_download_values(&mut self, ctx: &TestContext) -> Result<Vec<f64>>

pub fn forward_download_root(&mut self, ctx: &TestContext) -> Result<f64>

pub fn backward_only_launch(&mut self, ctx: &TestContext) -> Result<()>

Launch backward kernels using existing d_values (no sync, no host transfers).

pub fn forward_then_backward_launch(&mut self, ctx: &TestContext) -> Result<()>

Convenience helper: forward + backward in one launch sequence (no sync, no host transfers).