Enum Sorts

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

Variants

BitVector(usize)

Bool

Trait Implementations

impl Clone for Sorts

fn clone(&self) -> Sorts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Sorts

fn fmt(&self, f: &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_ABV_Sorts> for Sorts

fn into(self) -> QF_ABV_Sorts

Converts this type into the (usually inferred) input type.

impl Into<QF_AUFBV_Sorts> for Sorts

fn into(self) -> QF_AUFBV_Sorts

Converts this type into the (usually inferred) input type.

impl Into<QF_BV_Sorts> for Sorts

fn into(self) -> QF_BV_Sorts

Converts this type into the (usually inferred) input type.