Enum rustproof_libsmt::theories::array_ex::Sorts

pub enum Sorts<X, Y> where
    X: Display + Debug + Clone,
    Y: Display + Debug + Clone,  {
    Array(Box<X>, Box<Y>),
}

Variants

Array(Box<X>, Box<Y>)

Methods

impl<X, Y> Sorts<X, Y> where
    X: Debug + Display + Clone,
    Y: Debug + Display + Clone, 

fn new(idx: X, ty: Y) -> Sorts<X, Y>

Trait Implementations

impl<X: Clone, Y: Clone> Clone for Sorts<X, Y> where
    X: Display + Debug + Clone,
    Y: Display + Debug + Clone, 

fn clone(&self) -> Sorts<X, Y>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<X: Debug, Y: Debug> Debug for Sorts<X, Y> where
    X: Display + Debug + Clone,
    Y: Display + Debug + Clone, 

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

Formats the value using the given formatter.

impl<X, Y> Display for Sorts<X, Y> where
    X: Display + Debug + Clone,
    Y: Display + Debug + Clone, 

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

Formats the value using the given formatter.

impl Into<QF_AUFBV_Sorts> for Sorts<QF_AUFBV_Sorts, QF_AUFBV_Sorts>

fn into(self) -> QF_AUFBV_Sorts

Performs the conversion.

impl Into<QF_ABV_Sorts> for Sorts<QF_ABV_Sorts, QF_ABV_Sorts>

fn into(self) -> QF_ABV_Sorts

Performs the conversion.