Struct puffin::algebra::atoms::Variable

pub struct Variable<M> {
    pub unique_id: u32,
    pub resistant_id: u32,
    pub typ: TypeShape,
    pub query: Query<M>,
}

A variable symbol with fixed type.

Fields

unique_id: u32

Unique ID of this variable. Uniqueness is guaranteed across all Terms ever created. Cloning change this ID.

resistant_id: u32

ID of this variable. This id stays the same during cloning.

typ: TypeShape

query: Query<M>

The struct which holds information about how to query this variable from knowledge

Implementations

impl<M: Matcher> Variable<M>

pub fn new(typ: TypeShape, query: Query<M>) -> Self

Trait Implementations

impl<M: Matcher> Clone for Variable<M>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<M: Debug> Debug for Variable<M>

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

Formats the value using the given formatter.

impl<'de, M> Deserialize<'de> for Variable<M>where
    M: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<M: Matcher> Display for Variable<M>

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

Formats the value using the given formatter.

impl<M: Matcher> Hash for Variable<M>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<M: Matcher> PartialEq<Variable<M>> for Variable<M>

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<M> Serialize for Variable<M>where
    M: Serialize,

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

Serialize this value into the given Serde serializer.

impl<M: Matcher> Eq for Variable<M>