Struct differential_formula::constraint::Predicate

pub struct Predicate {
    pub negated: bool,
    pub term: Term,
    pub alias: Option<Term>,
}

Fields

negated: bool

term: Term

alias: Option<Term>

Methods

impl Predicate

pub fn to_binary_constraints(
    &self,
    var: Term
) -> Option<(Constraint, Constraint)>

Trait Implementations

impl Clone for Predicate

fn clone(&self) -> Predicate

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ConstraintBehavior for Predicate

fn variables(&self) -> HashSet<Term>

impl Debug for Predicate

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

Formats the value using the given formatter.

impl Display for Predicate

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

Formats the value using the given formatter.

impl Eq for Predicate

impl From<Predicate> for Constraint

fn from(v: Predicate) -> Constraint

Performs the conversion.

impl Hash for Predicate

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<Predicate> for Predicate

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

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

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

This method tests for !=.

impl StructuralEq for Predicate

impl StructuralPartialEq for Predicate

impl TryInto<Predicate> for Constraint

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Predicate, Self::Error>

Performs the conversion.