Enum move_model::ast::QuantKind

pub enum QuantKind {
    Forall,
    Exists,
    Choose,
    ChooseMin,
}

Variants

Forall

Exists

Choose

ChooseMin

Implementations

impl QuantKind

pub fn is_choice(self) -> bool

Returns true of this is a choice like Some or Min.

Trait Implementations

impl Clone for QuantKind

fn clone(&self) -> QuantKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for QuantKind

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

Formats the value using the given formatter.

impl Display for QuantKind

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

Formats the value using the given formatter.

impl Hash for QuantKind

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

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<QuantKind> for QuantKind

fn eq(&self, other: &QuantKind) -> 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 Copy for QuantKind

impl Eq for QuantKind

impl StructuralEq for QuantKind

impl StructuralPartialEq for QuantKind