Trait chalk_recursive::fixed_point::SolverStuff
source · pub(crate) trait SolverStuff<K, V>: Copy{
// Required methods
fn is_coinductive_goal(self, goal: &K) -> bool;
fn initial_value(self, goal: &K, coinductive_goal: bool) -> V;
fn solve_iteration(
self,
context: &mut RecursiveContext<K, V>,
goal: &K,
minimums: &mut Minimums,
should_continue: impl Fn() -> bool + Clone,
) -> V;
fn reached_fixed_point(self, old_value: &V, new_value: &V) -> bool;
fn error_value(self) -> V;
}
Required Methods§
fn is_coinductive_goal(self, goal: &K) -> bool
fn initial_value(self, goal: &K, coinductive_goal: bool) -> V
fn solve_iteration( self, context: &mut RecursiveContext<K, V>, goal: &K, minimums: &mut Minimums, should_continue: impl Fn() -> bool + Clone, ) -> V
fn reached_fixed_point(self, old_value: &V, new_value: &V) -> bool
fn error_value(self) -> V
Object Safety§
This trait is not object safe.