Struct chalk_engine::strand::SelectedSubgoal

pub(crate) struct SelectedSubgoal {
    pub(crate) subgoal_index: usize,
    pub(crate) subgoal_table: TableIndex,
    pub(crate) answer_index: AnswerIndex,
    pub(crate) universe_map: UniverseMap,
}

Fields

subgoal_index: usize

The index of the subgoal in ex_clause.subgoals

subgoal_table: TableIndex

The index of the table that we created or found for this subgoal

answer_index: AnswerIndex

Index of the answer we should request next from the table

universe_map: UniverseMap

Maps the universes of the subgoal to the canonical universes used in the table

Trait Implementations

impl Clone for SelectedSubgoal

fn clone(&self) -> SelectedSubgoal

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SelectedSubgoal

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.