pub enum ConstraintVertex {
Variable(Variable),
Label(Type),
Value(Value),
NamedRole(NamedRole),
}Expand description
The answer to a TypeDB query is a set of concepts which satisfy the Constraints in the query.
A ConstraintVertex is either a variable, or some identifier of the concept.
- A
Variableis a vertex the query must match and return. - A
Labeluniquely identifies a type - A
Valuerepresents a primitive value literal in TypeDB. - A
NamedRolevertex is used in links & relates constraints, as multiple relations may have roles with the same name. The types inferred forVariable,LabelandNamedRolevertices can be read from thevariable_annotationsfield of theConjunctionit is in.
Variants§
Trait Implementations§
Source§impl Clone for ConstraintVertex
impl Clone for ConstraintVertex
Source§fn clone(&self) -> ConstraintVertex
fn clone(&self) -> ConstraintVertex
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for ConstraintVertex
impl RefUnwindSafe for ConstraintVertex
impl Send for ConstraintVertex
impl Sync for ConstraintVertex
impl Unpin for ConstraintVertex
impl UnwindSafe for ConstraintVertex
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
Source§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
Wrap the input message
T in a tonic::Request