Trait datalog::predicates::Predicate

pub trait Predicate<T>: Display where T: Display {
    fn name(&self) -> &str;
    fn len(&self) -> usize;
    fn ids(&self) -> &Vec<T>;
}

Required Methods

fn name(&self) -> &str

fn len(&self) -> usize

fn ids(&self) -> &Vec<T>

Implementors

• impl<'a, T> Predicate<T> for Pred<'a, T> where T: Display