Struct CompiledProgram 

pub struct CompiledProgram { /* private fields */ }

Implementations

impl CompiledProgram

pub fn evaluate( &self, _py: Python<'_>, return_grads: bool, samples: Option<usize>, seed: Option<u64>, confidence: f64, max_nonmonotone_iterations: usize, sampling_method: Option<String>, memory_mb: Option<u64>, allow_cpu_oracle: bool, ) -> PyResult<EvalResult>

pub fn evaluate_device( &self, py: Python<'_>, samples: Option<usize>, seed: Option<u64>, confidence: f64, max_nonmonotone_iterations: usize, sampling_method: Option<String>, memory_mb: Option<u64>, ) -> PyResult<McDeviceEvalResult>

Evaluate Monte Carlo programs and return device-only result counts via DLPack.

This is the primary GPU-native API surface for MC inference. It never performs device->host reads for result data (only returns device buffers).

pub fn zero_grad(&self, py: Python<'_>) -> PyResult<()>

Zero gradients for all registered networks.

This should be called at the start of each training iteration to clear accumulated gradients from previous iterations.

pub fn optimizer_step(&self, py: Python<'_>) -> PyResult<()>

Perform optimizer step for all registered networks.

This applies the accumulated gradients to update network parameters. Should be called after forward_backward().

pub fn clip_grad_norms(&self, py: Python<'_>, max_norm: f64) -> PyResult<()>

Clip gradient norms for all registered networks.

Uses torch.nn.utils.clip_grad_norm_.

pub fn evaluate_loss(&self, queries: Vec<String>) -> PyResult<f64>

Evaluate mean NLL loss over queries without updating parameters.

Useful for validation/test set evaluation.

Arguments

• queries - List of query strings to evaluate

Returns

Mean NLL loss over all queries

pub fn memory_stats(&self, py: Python<'_>) -> PyResult<PyObject>

Return memory diagnostics including allocated_bytes and memory_limit_bytes.

pub fn rule_provenance(&self, py: Python<'_>) -> PyResult<PyObject>

pub fn proof_traces(&self, py: Python<'_>) -> PyResult<PyObject>

pub fn host_transfer_stats(&self, py: Python<'_>) -> PyResult<PyObject>

pub fn reset_host_transfer_stats(&self)

pub fn neural_hot_loop_diagnostics(&self, py: Python<'_>) -> PyResult<PyObject>

pub fn cuda_graph_stats(&self, py: Python<'_>) -> PyResult<PyObject>

Trait Implementations

impl IntoPy<Py<PyAny>> for CompiledProgram

fn into_py(self, py: Python<'_>) -> PyObject

👎Deprecated since 0.23.0:

IntoPy is going to be replaced by IntoPyObject. See the migration guide (https://pyo3.rs/v0.23.0/migration) for more information.

Performs the conversion.

impl<'py> IntoPyObject<'py> for CompiledProgram

type Target = CompiledProgram

The Python output type

type Output = Bound<'py, <CompiledProgram as IntoPyObject<'py>>::Target>

The smart pointer type to use.

type Error = PyErr

The type returned in the event of a conversion error.

fn into_pyobject( self, py: Python<'py>, ) -> Result<<Self as IntoPyObject<'_>>::Output, <Self as IntoPyObject<'_>>::Error>

Performs the conversion.

impl PyClass for CompiledProgram

type Frozen = False

Whether the pyclass is frozen.

impl PyClassImpl for CompiledProgram

const IS_BASETYPE: bool = false

#[pyclass(subclass)]

const IS_SUBCLASS: bool = false

#[pyclass(extends=…)]

const IS_MAPPING: bool = false

#[pyclass(mapping)]

const IS_SEQUENCE: bool = false

#[pyclass(sequence)]

type BaseType = PyAny

Base class

type ThreadChecker = SendablePyClass<CompiledProgram>

This handles following two situations:

type Inventory = Pyo3MethodsInventoryForCompiledProgram

type PyClassMutability = <<PyAny as PyClassBaseType>::PyClassMutability as PyClassMutability>::MutableChild

Immutable or mutable

type Dict = PyClassDummySlot

Specify this class has #[pyclass(dict)] or not.

type WeakRef = PyClassDummySlot

Specify this class has #[pyclass(weakref)] or not.

type BaseNativeType = PyAny

The closest native ancestor. This is PyAny by default, and when you declare #[pyclass(extends=PyDict)], it’s PyDict.

fn items_iter() -> PyClassItemsIter

fn doc(py: Python<'_>) -> PyResult<&'static CStr>

Rendered class doc

fn lazy_type_object() -> &'static LazyTypeObject<Self>

fn dict_offset() -> Option<isize>

fn weaklist_offset() -> Option<isize>

impl<'a, 'py> PyFunctionArgument<'a, 'py, false> for &'a CompiledProgram

type Holder = Option<PyRef<'py, CompiledProgram>>

fn extract( obj: &'a Bound<'py, PyAny>, holder: &'a mut Self::Holder, ) -> PyResult<Self>

impl<'a, 'py> PyFunctionArgument<'a, 'py, false> for &'a mut CompiledProgram

type Holder = Option<PyRefMut<'py, CompiledProgram>>

fn extract( obj: &'a Bound<'py, PyAny>, holder: &'a mut Self::Holder, ) -> PyResult<Self>

impl PyTypeInfo for CompiledProgram

const NAME: &'static str = "CompiledProgram"

Class name.

const MODULE: Option<&'static str> = ::core::option::Option::None

Module name, if any.

fn type_object_raw(py: Python<'_>) -> *mut PyTypeObject

Returns the PyTypeObject instance for this type.

fn type_object(py: Python<'_>) -> Bound<'_, PyType>

Returns the safe abstraction over the type object.

fn type_object_bound(py: Python<'_>) -> Bound<'_, PyType>

👎Deprecated since 0.23.0:

renamed to PyTypeInfo::type_object

Deprecated name for [PyTypeInfo::type_object].

fn is_type_of(object: &Bound<'_, PyAny>) -> bool

Checks if object is an instance of this type or a subclass of this type.

fn is_type_of_bound(object: &Bound<'_, PyAny>) -> bool

👎Deprecated since 0.23.0:

renamed to PyTypeInfo::is_type_of

Deprecated name for [PyTypeInfo::is_type_of].

fn is_exact_type_of(object: &Bound<'_, PyAny>) -> bool

Checks if object is an instance of this type.

fn is_exact_type_of_bound(object: &Bound<'_, PyAny>) -> bool

👎Deprecated since 0.23.0:

renamed to PyTypeInfo::is_exact_type_of

Deprecated name for [PyTypeInfo::is_exact_type_of].

impl DerefToPyAny for CompiledProgram