Trait mgf::Constraint[][src]

pub trait Constraint {
    type Index: Copy;
    type Constrained;
    type Inspected;
    fn solve<T: ConstrainedSet<Self::Index, Self::Constrained, Self::Inspected>>(
        &mut self,
        _: &mut T
    ); }

A type that represents a constraint between some objects.

Associated Types

A type used to index ConstrainedSets in order to retrieve information on the objects being constrained.

A type representing values that are constrained by (and thus modified by solving) the constraint.

A type representing extra information required to solve the constraint that is not modified.

Required Methods

Solve the constraint.

Implementors