Enum SuggestedTactic 

pub enum SuggestedTactic {
    ModusPonens,
    UniversalElim,
    ExistentialIntro,
    AndIntro,
    AndElim,
    OrIntro,
    OrElim,
    Induction,
    Reflexivity,
    Rewrite,
    Assumption,
}

Tactics that the user might try

Variants

ModusPonens

UniversalElim

ExistentialIntro

AndIntro

AndElim

OrIntro

OrElim

Induction

Reflexivity

Rewrite

Assumption

Implementations

impl SuggestedTactic

pub fn name(&self) -> &'static str

Trait Implementations

impl Clone for SuggestedTactic

fn clone(&self) -> SuggestedTactic

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SuggestedTactic

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

Formats the value using the given formatter.

impl PartialEq for SuggestedTactic

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for SuggestedTactic

impl Eq for SuggestedTactic

impl StructuralPartialEq for SuggestedTactic