Enum rustproof_libsmt::theories::core::Sorts

pub enum Sorts {
    Bool,
}

Variants

Bool

Trait Implementations

impl Clone for Sorts

fn clone(&self) -> Sorts

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Sorts

impl Debug for Sorts

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl PartialEq for Sorts

fn eq(&self, __arg_0: &Sorts) -> 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 !=.

impl Display for Sorts

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

Formats the value using the given formatter.

impl Into<QF_BV_Sorts> for Sorts

fn into(self) -> QF_BV_Sorts

Performs the conversion.

impl Into<QF_AUFBV_Sorts> for Sorts

fn into(self) -> QF_AUFBV_Sorts

Performs the conversion.

impl Into<QF_ABV_Sorts> for Sorts

fn into(self) -> QF_ABV_Sorts

Performs the conversion.

impl Into<LIA_Sorts> for Sorts

fn into(self) -> LIA_Sorts

Performs the conversion.