Struct Query 

pub struct Query<R, U = DefaultUser, E = DefaultEngine<U>>
where
    R: QueryResult<U, E>,
    U: User,
    E: Engine<U>,
{ /* private fields */ }

Implementations

impl<R, E> Query<R, DefaultUser, E>

where R: QueryResult<DefaultUser, E>, E: Engine<DefaultUser>,

pub fn run(&self) -> ResultIterator<R, DefaultUser, E>

impl<R, U, E> Query<R, U, E>

where R: QueryResult<U, E>, U: User, E: Engine<U>,

pub fn new(variables: Vec<LTerm<U, E>>, goal: Goal<U, E>) -> Query<R, U, E>

pub fn run_with_user( &self, user_state: U, user_globals: U::UserContext, ) -> ResultIterator<R, U, E>

Trait Implementations

impl<R, U, E> Debug for Query<R, U, E>

where R: QueryResult<U, E>, U: User + Debug, E: Engine<U> + Debug,

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

Formats the value using the given formatter.