pub trait SolverDelegateEvalExt: SolverDelegate {
// Required methods
fn evaluate_root_goal(
&self,
goal: Goal<Self::Interner, <Self::Interner as Interner>::Predicate>,
generate_proof_tree: GenerateProofTree,
) -> (Result<(bool, Certainty), NoSolution>, Option<GoalEvaluation<Self::Interner>>);
fn evaluate_root_goal_raw(
&self,
goal: Goal<Self::Interner, <Self::Interner as Interner>::Predicate>,
generate_proof_tree: GenerateProofTree,
) -> (Result<(NestedNormalizationGoals<Self::Interner>, bool, Certainty), NoSolution>, Option<GoalEvaluation<Self::Interner>>);
}
Required Methods§
fn evaluate_root_goal( &self, goal: Goal<Self::Interner, <Self::Interner as Interner>::Predicate>, generate_proof_tree: GenerateProofTree, ) -> (Result<(bool, Certainty), NoSolution>, Option<GoalEvaluation<Self::Interner>>)
fn evaluate_root_goal_raw( &self, goal: Goal<Self::Interner, <Self::Interner as Interner>::Predicate>, generate_proof_tree: GenerateProofTree, ) -> (Result<(NestedNormalizationGoals<Self::Interner>, bool, Certainty), NoSolution>, Option<GoalEvaluation<Self::Interner>>)
Object Safety§
This trait is not object safe.