rust_smt::smt_ops

Enum Fn

pub enum Fn<'a> {
Show 65 variants    False,
    True,
    Not,
    Implies,
    And,
    Or,
    Xor,
    Eq,
    Neq,
    Ite,
    Distinct,
    Uminus,
    Minus,
    Plus,
    Times,
    Divide,
    Div,
    Mod,
    Abs,
    LE,
    LT,
    GE,
    GT,
    ToReal,
    ToInt,
    IsInt,
    Select,
    Store,
    RecordSelect(&'a str),
    RecordUpdate(&'a str),
    Concat,
    Extract(u32, u32),
    Bvnot,
    Bvand,
    Bvor,
    Bvneg,
    Bvadd,
    Bvmul,
    Bvudiv,
    Bvurem,
    Bvshl,
    Bvlshr,
    Bvult,
    Bvnand,
    Bvnor,
    Bvxor,
    Bvxnor,
    Bvcomp,
    Bvsub,
    Bvsdiv,
    Bvsrem,
    Bvsmod,
    Bvashr,
    Repeat(u32),
    ZeroExtend(u32),
    SignExtend(u32),
    RotateLeft(u32),
    RotateRight(u32),
    Bvule,
    Bvugt,
    Bvuge,
    Bvslt,
    Bvsle,
    Bvsgt,
    Bvsge,
}

Variants§

False

True

Not

Implies

And

Or

Xor

Eq

Neq

Ite

Distinct

Uminus

Minus

Plus

Times

Divide

Div

Mod

Abs

LE

LT

GE

GT

ToReal

ToInt

IsInt

Select

Store

RecordSelect(&'a str)

RecordUpdate(&'a str)

Concat

Extract(u32, u32)

Bvnot

Bvand

Bvor

Bvneg

Bvadd

Bvmul

Bvudiv

Bvurem

Bvshl

Bvlshr

Bvult

Bvnand

Bvnor

Bvxor

Bvxnor

Bvcomp

Bvsub

Bvsdiv

Bvsrem

Bvsmod

Bvashr

Repeat(u32)

ZeroExtend(u32)

SignExtend(u32)

RotateLeft(u32)

RotateRight(u32)

Bvule

Bvugt

Bvuge

Bvslt

Bvsle

Bvsgt

Bvsge

Auto Trait Implementations§

impl<'a> Freeze for Fn<'a>

impl<'a> RefUnwindSafe for Fn<'a>

impl<'a> Send for Fn<'a>

impl<'a> Sync for Fn<'a>

impl<'a> Unpin for Fn<'a>

impl<'a> UnwindSafe for Fn<'a>

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.