Struct ChainedVariableInfo 

pub struct ChainedVariableInfo {
    pub anchor_type_id: TypeId,
    pub entity_type_id: TypeId,
    pub has_anchor_shadow: bool,
}

Information about a chained variable’s configuration.

Chained variables require knowledge of the anchor type to distinguish between anchor values (chain roots) and entity values (chain members).

Fields

anchor_type_id: TypeId

The TypeId of the anchor type (problem fact at chain root).

entity_type_id: TypeId

The TypeId of the entity type (chain members).

has_anchor_shadow: bool

Whether this variable has an associated anchor shadow variable.

Implementations

impl ChainedVariableInfo

pub fn new<Anchor: 'static, Entity: 'static>() -> Self

Creates new chained variable info.

pub fn with_anchor_shadow<Anchor: 'static, Entity: 'static>() -> Self

Creates new chained variable info with anchor shadow variable.

pub fn is_anchor_type(&self, type_id: TypeId) -> bool

Returns true if the given TypeId is the anchor type.

pub fn is_entity_type(&self, type_id: TypeId) -> bool

Returns true if the given TypeId is the entity type.

Trait Implementations

impl Clone for ChainedVariableInfo

fn clone(&self) -> ChainedVariableInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChainedVariableInfo

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

Formats the value using the given formatter.

impl PartialEq for ChainedVariableInfo

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ChainedVariableInfo

impl StructuralPartialEq for ChainedVariableInfo