Enum rust_smt::smt_ops::Fn

pub enum Fn<'a> {
    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

FalseTrueNotImpliesAndOrXorEqNeqIteDistinctUminusMinusPlusTimesDivideDivModAbsLELTGEGTToRealToIntIsIntSelectStoreRecordSelect(&'a str)RecordUpdate(&'a str)ConcatExtract(u32, u32)BvnotBvandBvorBvnegBvaddBvmulBvudivBvuremBvshlBvlshrBvultBvnandBvnorBvxorBvxnorBvcompBvsubBvsdivBvsremBvsmodBvashrRepeat(u32)ZeroExtend(u32)SignExtend(u32)RotateLeft(u32)RotateRight(u32)BvuleBvugtBvugeBvsltBvsleBvsgtBvsge