Trait AddConstraints 

pub trait AddConstraints<C> {
    // Required method
    fn insert(&mut self, constraints: &C);
}

This trait captures the ability to add constraints to a SAT solver.

Required Methods

fn insert(&mut self, constraints: &C)

Implementations on Foreign Types

impl<T, C> AddConstraints<C> for [T]

where T: AddConstraints<C>,

fn insert(&mut self, constraints: &C)

Implementors

impl<T, C> AddConstraints<C> for MultiSolver<T>

where T: AddConstraints<C>,