[−][src]Struct mgf::Solver

pub struct Solver<C: Constraint> { /* fields omitted */ }

A generic constraint solver.

Methods

impl<C: Constraint> Solver<C>[src]

pub fn new() -> Self[src]

Creates a new constraint solver.

pub fn add_constraint(&mut self, constraint: C)[src]

Adds a constraint to the solver.

pub fn solve<T: ConstrainedSet<C::Index, C::Constrained, C::Inspected>>(
    &mut self,
    cs: &mut T,
    iters: usize
)[src]

Solves the constraints for the given ConstrainedSet by iterating the given number of times.

Auto Trait Implementations

impl<C> Send for Solver<C> where
    C: Send, 

impl<C> Sync for Solver<C> where
    C: Sync, 

Blanket Implementations

impl<T> From for T[src]

impl<T, U> Into for T where
    U: From<T>, [src]

impl<T, U> TryFrom for T where
    U: Into<T>, [src]

type Error = !

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized, [src]

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> BorrowMut for T where
    T: ?Sized, [src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.