Enum rustproof_libsmt::logics::lia::LIA_Fn

pub enum LIA_Fn {
    IntOps(OpCodes),
    CoreOps(OpCodes),
}

Variants

IntOps(OpCodes)CoreOps(OpCodes)

Trait Implementations

impl Clone for LIA_Fn

fn clone(&self) -> LIA_Fn

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LIA_Fn

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

Formats the value using the given formatter.

impl Display for LIA_Fn

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

Formats the value using the given formatter.

impl SMTNode for LIA_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