pub fn compile_gpu_d4_gated(
cnf: &GpuCnf,
provider: &Arc<CudaKernelProvider>,
config: &GpuCompileConfig,
compile_needed: &TrackedCudaSlice<u32>,
) -> Result<GpuXgcf>Expand description
Compile a device-resident CNF into a device-resident XGCF circuit,
skipping work on the device when compile_needed is 0.