Struct EvidenceSelector 

pub struct EvidenceSelector { /* private fields */ }

Selects raw evidence for one Bayesian calibration.

The wire contract requires an explicit nullable value field. Canonical constrained selectors also carry a compatibility guard, so losing one text matcher cannot silently reconstruct the selector as predicate existence. Guardless constrained selectors emitted by earlier Venom releases remain readable and are canonicalized when serialized again.

Implementations

impl EvidenceSelector

pub fn equals(predicate: KnowledgePredicate, value: EvidenceValue) -> Self

Selects evidence with an exact predicate and value.

pub fn exists(predicate: KnowledgePredicate) -> Self

Selects any evidence with this predicate.

pub fn text_contains_ascii_case_insensitive( predicate: KnowledgePredicate, needle: impl Into<String>, ) -> Result<Self, RuleEngineError>

Selects text evidence containing a locale-independent protocol token.

pub fn text_list_contains_exact( predicate: KnowledgePredicate, value: impl Into<String>, ) -> Result<Self, RuleEngineError>

Selects evidence whose EvidenceValue::TextList contains an exact element. This is the calibration companion to Expression::text_list_contains_exact: it attributes the likelihood only to a record carrying the exact element, never a substring match and never a scalar text value — so convention provenance stays truthful.

pub fn predicate(&self) -> &KnowledgePredicate

Returns the selected predicate.

pub fn value(&self) -> Option<&EvidenceValue>

Returns an optional exact-value constraint.

pub fn text_needle(&self) -> Option<&str>

Returns the optional ASCII case-insensitive text constraint.

pub fn text_list_exact_value(&self) -> Option<&str>

Returns the optional exact text-list membership constraint.

Trait Implementations

impl Clone for EvidenceSelector

fn clone(&self) -> EvidenceSelector

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvidenceSelector

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EvidenceSelector

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for EvidenceSelector

impl PartialEq for EvidenceSelector

fn eq(&self, other: &EvidenceSelector) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for EvidenceSelector

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for EvidenceSelector