Trait Relation 

pub trait Relation<F: Ranked> {
    // Required method
    fn contains(&self, terms: &[&Term<F>]) -> bool;
}

Required Methods

fn contains(&self, terms: &[&Term<F>]) -> bool

Check if the relation contains the given terms. The number of term must be equal to the arity of the relation.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors