Struct Remade 

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

The constraints a solve made again at the states it tried (Remade::constraints), by step, each with the state it read: a step is made again only where a state it read changed. A solve asks a pendant’s constraints where it was carried, and again where its own solve starts, from there; and where it ends, as its last step left it.

Implementations

impl Remade

pub fn constraints( &self, reader: &Reader<'_>, which: &[&DefinedAt], ) -> Vec<GeopResult<Constraint>>

The constraints which of the part reader reads, as Constraints::of names their states — behind their paths — each made again by its step’s generator of what reader reads: at the state it tries (Reader::trying), the constraints there, without running the program again. What a solve reads at every state it tries. A step several of whose constraints are asked is made once, and one whose state read is as it was when last made, not at all.

The make reads only the state and targets that read none — it refuses any other read (define_constraints) — so what it makes is what a run of the program at that state would, and only the state it read can change what it makes of the same part.

Counted (made_again).

Trait Implementations

impl Default for Remade

fn default() -> Remade

Returns the “default value” for a type.