Struct Settler 

pub struct Settler { /* private fields */ }

Settles a program’s state by solving its mates (see solving).

Trait Implementations

impl Settle for Settler

fn settle( &self, rerun: &mut Rerun<'_>, pulls: &[Pull], own: Option<&str>, ) -> GeopResult<StateValues>

What the program pulls (Pull) pulls first, every part that is not fixed free to give way — a linkage follows the link dragged. Otherwise the parts move only if a mate does not hold: the step own’s part first, the others held — mating a new part moves it, not the part it is mated to — and every part that is not fixed only where that is not enough. Which constraints conflict is asked only where they do not all hold: a solve, and an enclosure of each group that fails.

fn solvable(&self, reader: &Reader<'_>) -> GeopResult<Vec<String>>

The names of the state it solves for in the part reader reads: once the whole program has run, the rest of the state goes.