Struct CompiledConditionedProgram 

pub struct CompiledConditionedProgram { /* private fields */ }

A fixed accepted-evidence exact circuit with mutable independent fact priors.

Clones share one serialized native state. Updating or evaluating one clone excludes concurrent work on the same circuit and is visible to every clone.

Implementations

impl CompiledConditionedProgram

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

Evaluate the prepared conditioned circuit without compiling source or program.

pub fn set_fact_probabilities( &self, py: Python<'_>, updates: BTreeMap<u32, f64>, ) -> PyResult<()>

Atomically replace independent probabilistic fact priors by CNF variable id.

pub fn prob_var_map(&self, py: Python<'_>) -> PyResult<Vec<Py<PyAny>>>

Describe the current probability assigned to each CNF variable.

Trait Implementations

impl Clone for CompiledConditionedProgram

fn clone(&self) -> CompiledConditionedProgram

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl DerefToPyAny for CompiledConditionedProgram

impl<'py> IntoPyObject<'py> for CompiledConditionedProgram

type Target = CompiledConditionedProgram

The Python output type

type Output = Bound<'py, <CompiledConditionedProgram 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 CompiledConditionedProgram

const NAME: &str = "CompiledConditionedProgram"

Name of the class.

type Frozen = False

Whether the pyclass is frozen.

impl PyClassImpl for CompiledConditionedProgram

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

Module which the class will be associated with.

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)]

const IS_IMMUTABLE_TYPE: bool = false

#[pyclass(immutable_type)]

const RAW_DOC: &'static CStr = c"A fixed accepted-evidence exact circuit with mutable independent fact priors.\n\nClones share one serialized native state. Updating or evaluating one clone\nexcludes concurrent work on the same circuit and is visible to every clone.\x00"

Docstring for the class provided on the struct or enum.

const DOC: &'static CStr

Fully rendered class doc, including the text_signature if a constructor is defined.

type Layout = <<CompiledConditionedProgram as PyClassImpl>::BaseNativeType as PyClassBaseType>::Layout<CompiledConditionedProgram>

Description of how this class is laid out in memory

type BaseType = PyAny

Base class

type ThreadChecker = NoopThreadChecker

This handles following two situations:

type Inventory = Pyo3MethodsInventoryForCompiledConditionedProgram

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 lazy_type_object() -> &'static LazyTypeObject<Self>

fn dict_offset() -> Option<PyObjectOffset>

Used to provide the dictoffset slot (equivalent to tp_dictoffset)

fn weaklist_offset() -> Option<PyObjectOffset>

Used to provide the weaklistoffset slot (equivalent to tp_weaklistoffset

impl PyTypeInfo for CompiledConditionedProgram

const NAME: &str = <Self as ::pyo3::PyClass>::NAME

👎Deprecated since 0.28.0:

prefer using ::type_object(py).name() to get the correct runtime value

Class name.

const MODULE: Option<&str> = <Self as ::pyo3::impl_::pyclass::PyClassImpl>::MODULE

👎Deprecated since 0.28.0:

prefer using ::type_object(py).module() to get the correct runtime value

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 is_type_of(object: &Bound<'_, PyAny>) -> bool

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

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

Checks if object is an instance of this type.