Enum chalk_engine::logic::SubGoalSelection

enum SubGoalSelection {
    Selected,
    NotSelected,
}

This is returned when we try to select a subgoal for a strand.

Variants

Selected

A subgoal was successfully selected. It has already been checked to not be floundering. However, it may have an answer already, be coinductive, or create a cycle.

NotSelected

This strand has no remaining subgoals, but there may still be floundered subgoals.

Trait Implementations

impl PartialEq for SubGoalSelection

fn eq(&self, other: &SubGoalSelection) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for SubGoalSelection