Enum OpCodes

pub enum OpCodes {
    Not,
    Imply,
    And,
    Or,
    Xor,
    Cmp,
    Distinct,
    ITE,
    Const(bool),
    FreeVar(String),
}

Variants

Not

Imply

And

Or

Xor

Cmp

Distinct

ITE

Const(bool)

FreeVar(String)

Trait Implementations

impl Clone for OpCodes

fn clone(&self) -> OpCodes

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OpCodes

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

Formats the value using the given formatter.

impl Display for OpCodes

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

Formats the value using the given formatter.

impl Into<LIA_Fn> for OpCodes

fn into(self) -> LIA_Fn

Converts this type into the (usually inferred) input type.

impl Into<QF_ABV_Fn> for OpCodes

fn into(self) -> QF_ABV_Fn

Converts this type into the (usually inferred) input type.

impl Into<QF_AUFBV_Fn> for OpCodes

fn into(self) -> QF_AUFBV_Fn

Converts this type into the (usually inferred) input type.

impl Into<QF_BV_Fn> for OpCodes

fn into(self) -> QF_BV_Fn

Converts this type into the (usually inferred) input type.

impl SMTNode for OpCodes

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