Enum rustproof_libsmt::theories::core::OpCodes
[−]
[src]
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
[src]
fn clone(&self) -> OpCodes
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more
impl Debug for OpCodes
[src]
impl Display for OpCodes
[src]
impl SMTNode for OpCodes
[src]
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
impl Into<QF_BV_Fn> for OpCodes
[src]
impl Into<QF_AUFBV_Fn> for OpCodes
[src]
fn into(self) -> QF_AUFBV_Fn
Performs the conversion.