Enum PredicateKind 

pub enum PredicateKind {
    Or(Vec<Predicate>),
    And(Vec<Predicate>),
    Not(Box<Predicate>),
    Compare(Comparison, Box<Predicate>, Box<Predicate>),
    In(Box<Predicate>, Vec<Predicate>),
    Element(String),
    Literal(PredicateLiteral),
    Arith(BinOpKind, Box<Predicate>, Box<Predicate>),
    Expr,
}

The kinds of predicate node.

Variants

Or(Vec<Predicate>)

p || q || …: true when any operand is.

And(Vec<Predicate>)

p && q && …: true when every operand is.

Not(Box<Predicate>)

!p: true when the operand is not.

Compare(Comparison, Box<Predicate>, Box<Predicate>)

a OP b for one of the six comparisons.

In(Box<Predicate>, Vec<Predicate>)

a in [v1, v2, …]: true when a equals any item.

Element(String)

{name}: the value the tuple, or the scope it was drawn in, binds to name.

Literal(PredicateLiteral)

A literal value.

Arith(BinOpKind, Box<Predicate>, Box<Predicate>)

a OP b for one of the arithmetic operators + - * / % **, evaluated as a Polydat expression from its text.

Expr

Any other Polydat expression, evaluated from its text.

Trait Implementations

impl Clone for PredicateKind

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PredicateKind

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

Formats the value using the given formatter.

impl PartialEq for PredicateKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PredicateKind