Struct ConjunctiveQuery 

pub struct ConjunctiveQuery {
    pub atoms: Vec<QueryAtom>,
    pub head_variables: Vec<String>,
}

A conjunctive query — a list of atoms to be answered conjunctively

Fields

atoms: Vec<QueryAtom>

The atoms of the query

head_variables: Vec<String>

Head variables (distinguished variables)

Implementations

impl ConjunctiveQuery

pub fn new(atoms: Vec<QueryAtom>, head_variables: Vec<String>) -> Self

pub fn with_atoms(atoms: Vec<QueryAtom>) -> Self

Trait Implementations

impl Clone for ConjunctiveQuery

fn clone(&self) -> ConjunctiveQuery

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConjunctiveQuery

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

Formats the value using the given formatter.

impl PartialEq for ConjunctiveQuery

fn eq(&self, other: &ConjunctiveQuery) -> 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 Eq for ConjunctiveQuery

impl StructuralPartialEq for ConjunctiveQuery