Trait chalk_engine::context::Environment

pub trait Environment<C: Context>: Debug + Clone + Eq + Ord + Hash {
    fn add_clauses<impl IntoIterator: IntoIterator<Item = C::DomainGoal>>(
        &self, 
        clauses: impl IntoIterator
    ) -> Self;
}

Required Methods

fn add_clauses<impl IntoIterator: IntoIterator<Item = C::DomainGoal>>(
    &self,
    clauses: impl IntoIterator
) -> Self

Implementors