Struct chalk_solve::coherence::CoherenceSolver

pub struct CoherenceSolver<'a, I: Interner> {
    db: &'a dyn RustIrDatabase<I>,
    solver_builder: &'a dyn Fn() -> Box<dyn Solver<I>>,
    trait_id: TraitId<I>,
}

Fields

db: &'a dyn RustIrDatabase<I>

solver_builder: &'a dyn Fn() -> Box<dyn Solver<I>>

trait_id: TraitId<I>

Implementations

impl<I: Interner> CoherenceSolver<'_, I>

pub(super) fn visit_specializations_of_trait( &self, record_specialization: impl FnMut(ImplId<I>, ImplId<I>), ) -> Result<(), CoherenceError<I>>

fn disjoint(&self, lhs: &ImplDatum<I>, rhs: &ImplDatum<I>) -> bool

fn specializes( &self, less_special_id: ImplId<I>, more_special_id: ImplId<I>, ) -> bool

impl<'a, I> CoherenceSolver<'a, I>

where I: Interner,

pub fn new( db: &'a dyn RustIrDatabase<I>, solver_builder: &'a dyn Fn() -> Box<dyn Solver<I>>, trait_id: TraitId<I>, ) -> Self

Constructs a new CoherenceSolver.

pub fn specialization_priorities( &self, ) -> Result<Arc<SpecializationPriorities<I>>, CoherenceError<I>>

fn build_specialization_forest( &self, ) -> Result<Graph<ImplId<I>, ()>, CoherenceError<I>>

fn set_priorities( &self, idx: NodeIndex, forest: &Graph<ImplId<I>, ()>, p: usize, map: &mut SpecializationPriorities<I>, )