Enum Expr 

pub enum Expr<T> {
    Term(Term<T>),
    Not(Box<Expr<T>>),
    And(Vec<Expr<T>>),
    Or(Vec<Expr<T>>),
}

Variants

Term(Term<T>)

Not(Box<Expr<T>>)

And(Vec<Expr<T>>)

Or(Vec<Expr<T>>)

Implementations

impl<T> Expr<T>

pub fn term(term: Term<T>) -> Self

pub fn term_atom(functor: T) -> Self

pub fn term_compound<I: IntoIterator<Item = Term<T>>>( functor: T, args: I, ) -> Self

pub fn expr_not(expr: Expr<T>) -> Self

pub fn expr_and<I: IntoIterator<Item = Expr<T>>>(args: I) -> Self

pub fn expr_or<I: IntoIterator<Item = Expr<T>>>(args: I) -> Self

pub fn map<U, F: FnMut(T) -> U>(self, f: &mut F) -> Expr<U>

pub fn replace_term<F>(&mut self, f: &mut F)

where F: FnMut(&Term<T>) -> Option<Term<T>>,

impl<T: PartialEq> Expr<T>

pub fn contains_term(&self, term: &Term<T>) -> bool

pub fn distribute_not(self) -> Self

e.g. ¬(A ∧ (B ∨ C)) -> ¬A ∨ (¬B ∧ ¬C)

Trait Implementations

impl<T: Clone> Clone for Expr<T>

fn clone(&self) -> Expr<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Expr<T>

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

Formats the value using the given formatter.

impl<T: Display> Display for Expr<T>

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

Formats the value using the given formatter.

impl<T: Hash> Hash for Expr<T>

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<T: Ord> Ord for Expr<T>

fn cmp(&self, other: &Expr<T>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<'int, Int: Intern> Parse<'int, Int> for Expr<Name<<Int as Intern>::Interned<'int>>>

fn parse( buf: &mut ParseBuffer<'_>, interner: &'int Int, ) -> Result<Self, Box<dyn StdError + Send + Sync>>

Caller is supposed to give the exact buffer for an Expr.

impl<T: PartialEq> PartialEq for Expr<T>

fn eq(&self, other: &Expr<T>) -> 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<T: PartialOrd> PartialOrd for Expr<T>

fn partial_cmp(&self, other: &Expr<T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T: Eq> Eq for Expr<T>

impl<T> StructuralPartialEq for Expr<T>