Enum rustproof_libsmt::theories::bitvec::Sorts

pub enum Sorts {
    BitVector(usize),
    Bool,
}

Variants

BitVector(usize)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 Debug for Sorts

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

Formats the value using the given formatter.

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.