Struct Constraints 

pub struct Constraints(/* private fields */);

Every constraint the steps so far defined, by name, each with the step that defined it: gathered from their targets (Constraints::of).

Implementations

impl Constraints

pub fn of(reader: &Reader<'_>) -> GeopResult<Self>

The constraints of the part reader reads: none where no step defined any. A step whose constraints failed fails them all: a solve must not go on without a constraint it could not make. A name two steps defined is an error naming both.

Those of every instance placed in it come up behind the instance’s name: a constraint c of the instance bolt is /bolt:c, on the state /bolt:s where the instance’s is on s (see [geop_core_program::instance]). A residual is the same wherever the instance is: it is a length within it.

pub fn get(&self, name: &str) -> Option<&Constraint>

The constraint name, if a step defined it.

pub fn iter(&self) -> impl Iterator<Item = (&str, &Constraint)>

Every constraint, in order of their names.

pub fn defining(&self) -> impl Iterator<Item = (&str, &DefinedAt)>

Where each is defined, in order of their names.

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for Constraints

fn clone(&self) -> Constraints

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Constraints

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Constraints

fn default() -> Constraints

Returns the “default value” for a type.

impl PartialEq for Constraints

fn eq(&self, other: &Constraints) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Constraints