[−][src]Trait automatic_relations::Relation
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.