Struct polar_core::terms::Operation

pub struct Operation {
    pub operator: Operator,
    pub args: TermList,
}

Fields

operator: Operator

args: TermList

Implementations

impl Operation

pub fn variables(&self) -> Vec<Symbol>

Construct & return a set of symbols that occur in this operation.

pub fn ground(&self, var: Symbol, value: Term) -> Option<Self>

Replace var with a ground (non-variable) value. Checks for consistent unifications along the way: if everything’s fine, returns Some(grounded_term), but if an inconsistent ground (anti-)unification is detected, return None.

pub fn merge_constraints(&mut self, other: Self)

Augment our constraints with those on other.

Invariant: self and other are ANDs

pub fn invert(&self) -> Operation

pub fn constraints(&self) -> Vec<Operation>

pub fn add_constraint(&mut self, o: Operation)

pub fn into_term(self) -> Term

pub fn clone_with_constraints(&self, constraints: Vec<Operation>) -> Self

pub fn clone_with_new_constraint(&self, constraint: Term) -> Self

pub fn mirror(&self) -> Self

Trait Implementations

impl Clone for Operation

fn clone(&self) -> Operation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Operation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Operation

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

Deserialize this value from the given Serde deserializer.

impl From<Operation> for TestHelper<Value>

fn from(other: Operation) -> Self

Performs the conversion.

impl Hash for Operation

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, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<Operation> for Operation

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

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

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

This method tests for !=.

impl Serialize for Operation

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

Serialize this value into the given Serde serializer.

impl ToPolarString for Operation

fn to_polar(&self) -> String

impl Eq for Operation

impl StructuralEq for Operation

impl StructuralPartialEq for Operation