Enum Sort 

pub enum Sort {
    BitVec(NonZeroU64),
    Array(Array),
}

A BTOR2 sort.

Variants

BitVec(NonZeroU64)

A bit-vector sort of a given positive width.

Array(Array)

An array sort with a given domain and codomain.

Implementations

impl Sort

pub fn bit_vec(width: u64) -> Self

Returns a bit-vector sort of the given width.

Panics when the given width is zero.

Trait Implementations

impl Clone for Sort

fn clone(&self) -> Sort

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Sort

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

Formats the value using the given formatter.

impl Hash for Sort

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

fn eq(&self, other: &Sort) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Sort

impl Eq for Sort

impl StructuralPartialEq for Sort