[−][src]Enum btor2tools::Btor2Tag

#[repr(C)]pub enum Btor2Tag {
    Add,
    And,
    Bad,
    Concat,
    Const,
    Constraint,
    Constd,
    Consth,
    Dec,
    Eq,
    Fair,
    Iff,
    Implies,
    Inc,
    Init,
    Input,
    Ite,
    Justice,
    Mul,
    Nand,
    Neq,
    Neg,
    Next,
    Nor,
    Not,
    One,
    Ones,
    Or,
    Output,
    Read,
    Redand,
    Redor,
    Redxor,
    Rol,
    Ror,
    Saddo,
    Sdiv,
    Sdivo,
    Sext,
    Sgt,
    Sgte,
    Slice,
    Sll,
    Slt,
    Slte,
    Sort,
    Smod,
    Smulo,
    Sra,
    Srem,
    Srl,
    Ssubo,
    State,
    Sub,
    Uaddo,
    Udiv,
    Uext,
    Ugt,
    Ugte,
    Ult,
    Ulte,
    Umulo,
    Urem,
    Usubo,
    Write,
    Xnor,
    Xor,
    Zero,
}

BTOR2 tags can be used for fast(er) traversal and operations on BTOR2 format lines, e.g., in a switch statement in client code. Alternatively, client code can use the name of the BTOR2 tag, which is a C string (redundantly) contained in the format line. Note that this requires string comparisons and is therefore slower even if client code uses an additional hash table.

Variants

Add

And

Bad

Concat

Const

Constraint

Constd

Consth

Dec

Eq

Fair

Iff

Implies

Inc

Init

Input

Ite

Justice

Mul

Nand

Neq

Neg

Next

Nor

Not

One

Ones

Or

Output

Read

Redand

Redor

Redxor

Rol

Ror

Saddo

Sdiv

Sdivo

Sext

Sgt

Sgte

Slice

Sll

Slt

Slte

Sort

Smod

Smulo

Sra

Srem

Srl

Ssubo

State

Sub

Uaddo

Udiv

Uext

Ugt

Ugte

Ult

Ulte

Umulo

Urem

Usubo

Write

Xnor

Xor

Zero

Trait Implementations

`impl Clone for Btor2Tag`[src]

`fn clone(&self) -> Btor2Tag`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Copy for Btor2Tag`[src]

`impl Debug for Btor2Tag`[src]

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

`impl From<u32> for Btor2Tag`[src]

`fn from(raw: CBtor2Tag) -> Btor2Tag`[src]

`impl Into<u32> for Btor2Tag`[src]

`fn into(self) -> CBtor2Tag`[src]

Auto Trait Implementations

`impl RefUnwindSafe for Btor2Tag`

`impl Send for Btor2Tag`

`impl Sync for Btor2Tag`

`impl Unpin for Btor2Tag`

`impl UnwindSafe for Btor2Tag`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

[−][src]Enum btor2tools::Btor2Tag

Variants

Trait Implementations

`impl Clone for Btor2Tag`[src]

`fn clone(&self) -> Btor2Tag`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Copy for Btor2Tag`[src]

`impl Debug for Btor2Tag`[src]

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

`impl From<u32> for Btor2Tag`[src]

`fn from(raw: CBtor2Tag) -> Btor2Tag`[src]

`impl Into<u32> for Btor2Tag`[src]

`fn into(self) -> CBtor2Tag`[src]

Auto Trait Implementations

`impl RefUnwindSafe for Btor2Tag`

`impl Send for Btor2Tag`

`impl Sync for Btor2Tag`

`impl Unpin for Btor2Tag`

`impl UnwindSafe for Btor2Tag`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

[−][src]Enum btor2tools::Btor2Tag

Variants

Trait Implementations

impl Clone for Btor2Tag[src]

fn clone(&self) -> Btor2Tag[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Copy for Btor2Tag[src]

impl Debug for Btor2Tag[src]

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

impl From<u32> for Btor2Tag[src]

fn from(raw: CBtor2Tag) -> Btor2Tag[src]

impl Into<u32> for Btor2Tag[src]

fn into(self) -> CBtor2Tag[src]

Auto Trait Implementations

impl RefUnwindSafe for Btor2Tag

impl Send for Btor2Tag

impl Sync for Btor2Tag

impl Unpin for Btor2Tag

impl UnwindSafe for Btor2Tag

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

pub fn into(self) -> U[src]

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

pub fn to_owned(&self) -> T[src]

pub fn clone_into(&self, target: &mut T)[src]

impl<T, U> TryFrom<U> for T where U: Into<T>, [src]

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

impl<T, U> TryInto<U> for T where U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

`impl Clone for Btor2Tag`[src]

`fn clone(&self) -> Btor2Tag`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Copy for Btor2Tag`[src]

`impl Debug for Btor2Tag`[src]

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

`impl From<u32> for Btor2Tag`[src]

`fn from(raw: CBtor2Tag) -> Btor2Tag`[src]

`impl Into<u32> for Btor2Tag`[src]

`fn into(self) -> CBtor2Tag`[src]

`impl RefUnwindSafe for Btor2Tag`

`impl Send for Btor2Tag`

`impl Sync for Btor2Tag`

`impl Unpin for Btor2Tag`

`impl UnwindSafe for Btor2Tag`

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]