Struct puffin::algebra::atoms::Variable

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

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<PT>

query: Query<PT::Matcher>

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

Implementations

impl<PT: ProtocolTypes> Variable<PT>

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

Trait Implementations

impl<PT: ProtocolTypes> Clone for Variable<PT>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<PT: Debug + ProtocolTypes> Debug for Variable<PT>

where PT::Matcher: Debug,

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

Formats the value using the given formatter.

impl<'de, PT> Deserialize<'de> for Variable<PT>

where PT: ProtocolTypes,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<PT: ProtocolTypes> Display for Variable<PT>

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

Formats the value using the given formatter.

impl<PT: ProtocolTypes> Hash for Variable<PT>

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<PT: ProtocolTypes> PartialEq for Variable<PT>

fn eq(&self, other: &Self) -> 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<PT> Serialize for Variable<PT>

where PT: ProtocolTypes,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<PT: ProtocolTypes> Eq for Variable<PT>