pub struct Iteration { /* private fields */ }
Expand description
An iterative context for recursive evaluation.
An Iteration
tracks monotonic variables, and monitors their progress.
It can inform the user if they have ceased changing, at which point the
computation should be done.
Implementations§
source§impl Iteration
impl Iteration
sourcepub fn changed(&mut self) -> bool
pub fn changed(&mut self) -> bool
Reports whether any of the monitored variables have changed since the most recent call.
sourcepub fn variable<Tuple: Ord + 'static>(&mut self, name: &str) -> Variable<Tuple>
pub fn variable<Tuple: Ord + 'static>(&mut self, name: &str) -> Variable<Tuple>
Creates a new named variable associated with the iterative context.
sourcepub fn variable_indistinct<Tuple: Ord + 'static>(
&mut self,
name: &str
) -> Variable<Tuple>
pub fn variable_indistinct<Tuple: Ord + 'static>(
&mut self,
name: &str
) -> Variable<Tuple>
Creates a new named variable associated with the iterative context.
This variable will not be maintained distinctly, and may advertise tuples as recent multiple times (perhaps unboundedly many times).