/// Adds `answer` to our list of answers, unless it (or some
/// better answer) is already present. An answer A is better than
/// an answer B if their substitutions are the same, but A has a subset
/// of the delayed literals that B does.
///
/// Returns true if `answer` was added.
Adds `answer` to our list of answers, unless it (or some
better answer) is already present. An answer A is better than
an answer B if their substitutions are the same, but A has a subset
of the delayed literals that B does.

Returns true if `answer` was added.
Adds ` answer ` to our list of answers unless it ( or some better answer ) is already present . An answer A is better than an answer B if their substitutions are the same but A has a subset of the delayed literals that B does . Returns true if ` answer ` was added .
pub(super) fn push_answer(&mut self, answer: Answer<C>) -> bool {
        debug_heading!("push_answer(answer={:?})", answer);
        debug!(
            "pre-existing entry: {:?}",
            self.answers_hash.get(&answer.subst)
        );
        let added = match self.answers_hash.entry(answer.subst.clone()) {
            Entry::Vacant(entry) => {
                entry.insert(DelayedLiteralSets::singleton(answer.delayed_literals.clone()));
                true
            }
            Entry::Occupied(mut entry) => {
                entry.get_mut().insert_if_minimal(&answer.delayed_literals)
            }
        };
        info!(
            "new answer to table with goal {:?}: answer={:?}",
            self.table_goal, answer,
        );
        if added {
            self.answers.push(answer);
        }
        added
    }
pub ( super ) fn push_answer ( & mut self , answer : Answer < C > ) -> bool { debug_heading ! ( " " answer ) ; debug ! ( " " self answers_hash get ( answer subst ) ) ; let added = match self . answers_hash . entry ( answer . subst . clone ( ) ) { Entry :: Vacant ( entry ) => { entry . insert ( DelayedLiteralSets :: singleton ( answer . delayed_literals . clone ( ) ) ) ; true } Entry :: Occupied ( mut entry ) => { entry . get_mut ( ) . insert_if_minimal ( & answer . delayed_literals ) } } ; info ! ( " " self table_goal answer ) ; if added { self . answers . push ( answer ) ; } added }
Adds `answer` to our list of answers, unless it (or some
better answer) is already present.
Adds ` answer ` to our list of answers unless it ( or some better answer ) is already present .
&mut self
answer
Answer<C>