Enum rustproof_libsmt::logics::qf_aufbv::QF_AUFBV_Fn

pub enum QF_AUFBV_Fn {
    BVOps(OpCodes),
    CoreOps(OpCodes),
    ArrayOps(OpCodes<QF_AUFBV_Sorts, QF_AUFBV_Sorts, QF_AUFBV_Fn>),
}

Variants

BVOps(OpCodes)CoreOps(OpCodes)ArrayOps(OpCodes<QF_AUFBV_Sorts, QF_AUFBV_Sorts, QF_AUFBV_Fn>)

Trait Implementations

impl Clone for QF_AUFBV_Fn

fn clone(&self) -> QF_AUFBV_Fn

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for QF_AUFBV_Fn

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

Formats the value using the given formatter.

impl Display for QF_AUFBV_Fn

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

Formats the value using the given formatter.

impl SMTNode for QF_AUFBV_Fn

fn is_var(&self) -> bool

Returns true if the node is a symbolic variable

fn is_const(&self) -> bool

Returns true if the node is a constant value

fn is_fn(&self) -> bool

Returns true if the node is a function