Struct differential_formula::constraint::Binary

pub struct Binary {
    pub op: BinOp,
    pub left: Expr,
    pub right: Expr,
}

Fields

op: BinOp

left: Expr

right: Expr

Methods

impl Binary

pub fn has_set_comprehension(&self) -> bool

pub fn evaluate<T>(&self, binding: &T) -> Option<bool> where
    T: GenericMap<Term, Term>, 

Trait Implementations

impl Clone for Binary

fn clone(&self) -> Binary

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ConstraintBehavior for Binary

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

impl Debug for Binary

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

Formats the value using the given formatter.

impl Display for Binary

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

Formats the value using the given formatter.

impl Eq for Binary

impl From<Binary> for Constraint

fn from(v: Binary) -> Constraint

Performs the conversion.

impl Hash for Binary

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

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

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

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

This method tests for !=.

impl StructuralEq for Binary

impl StructuralPartialEq for Binary

impl TryInto<Binary> for Constraint

type Error = &'static str

The type returned in the event of a conversion error.

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

Performs the conversion.