Struct LogicRelationSession 

pub struct LogicRelationSession { /* private fields */ }

Implementations

impl LogicRelationSession

pub fn put_relation( &mut self, name: String, dlpack_columns: &Bound<'_, PyAny>, ) -> PyResult<()>

pub fn put_relation_with_provenance( &mut self, py: Python<'_>, name: String, dlpack_columns: &Bound<'_, PyAny>, roles: &Bound<'_, PyAny>, facts: &Bound<'_, PyAny>, ) -> PyResult<Py<PyAny>>

pub fn put_relation_from_manifest( &mut self, py: Python<'_>, name: String, dlpack_columns: &Bound<'_, PyAny>, manifest: &Bound<'_, PyAny>, ) -> PyResult<Py<PyAny>>

pub fn relation(&self, name: &str) -> PyResult<RelationEvidence>

pub fn evidence( &self, py: Python<'_>, name: Option<&str>, ) -> PyResult<Py<PyAny>>

pub fn evaluate( &mut self, py: Python<'_>, memory_mb: Option<u64>, ) -> PyResult<LogicEvalResult>

pub fn insert_relation( &mut self, py: Python<'_>, name: String, dlpack_columns: &Bound<'_, PyAny>, facts: Option<&Bound<'_, PyAny>>, ) -> PyResult<Py<PyAny>>

pub fn delete_relation( &mut self, py: Python<'_>, name: String, dlpack_columns: &Bound<'_, PyAny>, ) -> PyResult<Py<PyAny>>

pub fn apply_relation_delta( &mut self, py: Python<'_>, name: String, insert_columns: Option<&Bound<'_, PyAny>>, delete_columns: Option<&Bound<'_, PyAny>>, insert_facts: Option<&Bound<'_, PyAny>>, ) -> PyResult<Py<PyAny>>

pub fn apply_relation_delta_batch( &mut self, py: Python<'_>, updates: &Bound<'_, PyAny>, ) -> PyResult<Py<PyAny>>

pub fn apply_relation_delta_debug( &mut self, py: Python<'_>, updates: &Bound<'_, PyAny>, check_equivalence: bool, ) -> PyResult<Py<PyAny>>

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

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

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

pub fn register_relation_callback( &mut self, py: Python<'_>, callback: Py<PyAny>, ) -> PyResult<u64>

pub fn unregister_relation_callback(&mut self, callback_id: u64) -> bool

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

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

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

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

Multiway/Free-Join dispatch telemetry for the retained session executor. Counters accumulate across evaluates within this session; all zeros before the first evaluate.

pub fn reset_host_transfer_stats(&self)

pub fn set_strict_deterministic_d2h(&self, enabled: bool)

pub fn strict_deterministic_d2h_enabled(&self) -> bool

pub fn deterministic_d2h_violation_count(&self) -> u64

pub fn reset_deterministic_d2h_violations(&self)

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

Return memory diagnostics including allocated_bytes and memory_limit_bytes.

pub fn export_relation( &mut self, py: Python<'_>, name: &str, ) -> PyResult<Vec<Py<PyAny>>>

pub fn export_relation_with_provenance( &mut self, py: Python<'_>, name: &str, ) -> PyResult<Py<PyAny>>

pub fn remove_relation(&mut self, name: &str) -> bool

pub fn clear_relations(&mut self)

Trait Implementations

impl DerefToPyAny for LogicRelationSession

impl ExtractPyClassWithClone for LogicRelationSession

impl<'py> IntoPyObject<'py> for LogicRelationSession

type Target = LogicRelationSession

The Python output type

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

const NAME: &str = "LogicRelationSession"

Name of the class.

type Frozen = False

Whether the pyclass is frozen.

impl PyClassImpl for LogicRelationSession

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"\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 = <<LogicRelationSession as PyClassImpl>::BaseNativeType as PyClassBaseType>::Layout<LogicRelationSession>

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 = Pyo3MethodsInventoryForLogicRelationSession

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 LogicRelationSession

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.