Expand description
Constraints on a part’s state, and the solver that moves the state until they hold.
A program’s steps say what they require of the state (Constraints,
constraint::define_constraints) and which values of it a solve may
move (unknown::Unknowns, unknown::declare_unknowns). Each of the
two is one target of the part, built up by the steps one revision after
another (Constraints, unknown::Unknowns); solve reads them
from the part the program builds at every state it tries.
Re-exports§
pub use constraint::Constraint;pub use constraint::Constraints;
Modules§
- constraint
- What steps require of the state:
Constraints, defined by name, and all of a part’s together (Constraints). - solve
- Solving the state a program’s
Constraints are on: the program’s side of the constraint systems ofgeop_core_math::solvers::system, which solve, check, enclose and measure them — the same algorithms a sketch’s numbers are solved by. - unknown
- Which values of the state a solve may move, as the steps declare them:
Unknowns, each step’s in a target of its own, and all of a part’s together (Unknowns), so that a solve of any program is set up from the part alone.
Enums§
- Bound
- What a constraint asks of its residuals.