sparopt::algebra

Enum Expression

Source
pub enum Expression {
Show 23 variants NamedNode(NamedNode), Literal(Literal), Variable(Variable), Or(Vec<Self>), And(Vec<Self>), Equal(Box<Self>, Box<Self>), SameTerm(Box<Self>, Box<Self>), Greater(Box<Self>, Box<Self>), GreaterOrEqual(Box<Self>, Box<Self>), Less(Box<Self>, Box<Self>), LessOrEqual(Box<Self>, Box<Self>), Add(Box<Self>, Box<Self>), Subtract(Box<Self>, Box<Self>), Multiply(Box<Self>, Box<Self>), Divide(Box<Self>, Box<Self>), UnaryPlus(Box<Self>), UnaryMinus(Box<Self>), Not(Box<Self>), Exists(Box<GraphPattern>), Bound(Variable), If(Box<Self>, Box<Self>, Box<Self>), Coalesce(Vec<Self>), FunctionCall(Function, Vec<Self>),
}
Expand description

Variants§

§

NamedNode(NamedNode)

§

Literal(Literal)

§

Variable(Variable)

§

Or(Vec<Self>)

§

And(Vec<Self>)

§

Equal(Box<Self>, Box<Self>)

RDFterm-equal and all the XSD equalities.

§

SameTerm(Box<Self>, Box<Self>)

§

Greater(Box<Self>, Box<Self>)

op:numeric-greater-than and other XSD greater than operators.

§

GreaterOrEqual(Box<Self>, Box<Self>)

§

Less(Box<Self>, Box<Self>)

op:numeric-less-than and other XSD greater than operators.

§

LessOrEqual(Box<Self>, Box<Self>)

§

Add(Box<Self>, Box<Self>)

op:numeric-add and other XSD additions.

§

Subtract(Box<Self>, Box<Self>)

op:numeric-subtract and other XSD subtractions.

§

Multiply(Box<Self>, Box<Self>)

op:numeric-multiply and other XSD multiplications.

§

Divide(Box<Self>, Box<Self>)

op:numeric-divide and other XSD divides.

§

UnaryPlus(Box<Self>)

op:numeric-unary-plus and other XSD unary plus.

§

UnaryMinus(Box<Self>)

op:numeric-unary-minus and other XSD unary minus.

§

Not(Box<Self>)

§

Exists(Box<GraphPattern>)

§

Bound(Variable)

§

If(Box<Self>, Box<Self>, Box<Self>)

IF.

§

Coalesce(Vec<Self>)

§

FunctionCall(Function, Vec<Self>)

A regular function call.

Implementations§

Source§

impl Expression

Source

pub fn or_all(args: impl IntoIterator<Item = Self>) -> Self

Source

pub fn and_all(args: impl IntoIterator<Item = Self>) -> Self

Source

pub fn equal(left: Self, right: Self) -> Self

Source

pub fn same_term(left: Self, right: Self) -> Self

Source

pub fn greater(left: Self, right: Self) -> Self

Source

pub fn greater_or_equal(left: Self, right: Self) -> Self

Source

pub fn less(left: Self, right: Self) -> Self

Source

pub fn less_or_equal(left: Self, right: Self) -> Self

Source

pub fn unary_plus(inner: Self) -> Self

Source

pub fn exists(inner: GraphPattern) -> Self

Source

pub fn if_cond(cond: Self, then: Self, els: Self) -> Self

Source

pub fn coalesce(args: Vec<Self>) -> Self

Source

pub fn call(name: Function, args: Vec<Self>) -> Self

Source

pub fn effective_boolean_value(&self) -> Option<bool>

Source

pub fn used_variables(&self) -> HashSet<&Variable>

Source

pub fn lookup_used_variables<'a>( &'a self, callback: &mut impl FnMut(&'a Variable), )

Trait Implementations§

Source§

impl Add for Expression

Source§

type Output = Expression

The resulting type after applying the + operator.
Source§

fn add(self, rhs: Self) -> Self

Performs the + operation. Read more
Source§

impl BitAnd for Expression

Source§

type Output = Expression

The resulting type after applying the & operator.
Source§

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation. Read more
Source§

impl BitOr for Expression

Source§

type Output = Expression

The resulting type after applying the | operator.
Source§

fn bitor(self, rhs: Self) -> Self

Performs the | operation. Read more
Source§

impl Clone for Expression

Source§

fn clone(&self) -> Expression

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Expression

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Div for Expression

Source§

type Output = Expression

The resulting type after applying the / operator.
Source§

fn div(self, rhs: Self) -> Self

Performs the / operation. Read more
Source§

impl From<&Expression> for Expression

Source§

fn from(expression: &Expression) -> Self

Converts to this type from the input type.
Source§

impl From<GroundSubject> for Expression

Source§

fn from(value: GroundSubject) -> Self

Converts to this type from the input type.
Source§

impl From<GroundTerm> for Expression

Source§

fn from(value: GroundTerm) -> Self

Converts to this type from the input type.
Source§

impl From<GroundTermPattern> for Expression

Source§

fn from(value: GroundTermPattern) -> Self

Converts to this type from the input type.
Source§

impl From<GroundTriple> for Expression

Source§

fn from(value: GroundTriple) -> Self

Converts to this type from the input type.
Source§

impl From<GroundTriplePattern> for Expression

Source§

fn from(value: GroundTriplePattern) -> Self

Converts to this type from the input type.
Source§

impl From<Literal> for Expression

Source§

fn from(value: Literal) -> Self

Converts to this type from the input type.
Source§

impl From<NamedNode> for Expression

Source§

fn from(value: NamedNode) -> Self

Converts to this type from the input type.
Source§

impl From<NamedNodePattern> for Expression

Source§

fn from(value: NamedNodePattern) -> Self

Converts to this type from the input type.
Source§

impl From<Variable> for Expression

Source§

fn from(value: Variable) -> Self

Converts to this type from the input type.
Source§

impl From<bool> for Expression

Source§

fn from(value: bool) -> Self

Converts to this type from the input type.
Source§

impl Hash for Expression

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl Mul for Expression

Source§

type Output = Expression

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: Self) -> Self

Performs the * operation. Read more
Source§

impl Neg for Expression

Source§

type Output = Expression

The resulting type after applying the - operator.
Source§

fn neg(self) -> Self

Performs the unary - operation. Read more
Source§

impl Not for Expression

Source§

type Output = Expression

The resulting type after applying the ! operator.
Source§

fn not(self) -> Self

Performs the unary ! operation. Read more
Source§

impl PartialEq for Expression

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Sub for Expression

Source§

type Output = Expression

The resulting type after applying the - operator.
Source§

fn sub(self, rhs: Self) -> Self

Performs the - operation. Read more
Source§

impl Eq for Expression

Source§

impl StructuralPartialEq for Expression

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V