Struct Step 

#[non_exhaustive]
pub struct Step {
    pub level: Difficulty,
    pub technique: String,
    pub removed: Vec<Literal>,
    pub proof: Option<PatternProof>,
}

One step of a rating, for hints and explanations (L19).

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

level: Difficulty

The level of the technique used.

technique: String

The technique’s stable name, such as hidden_single.

removed: Vec<Literal>

The candidates the step removed.

proof: Option<PatternProof>

Pattern premises and earlier deductions supporting this step, when available.

Trait Implementations

impl Clone for Step

fn clone(&self) -> Step

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Step

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

Formats the value using the given formatter.

impl Eq for Step

impl Hash for Step

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Step

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Step