Enum Btor2Tag

#[repr(C)]
pub enum Btor2Tag {
    Add = 0,
    And = 1,
    Bad = 2,
    Concat = 3,
    Const = 4,
    Constraint = 5,
    Constd = 6,
    Consth = 7,
    Dec = 8,
    Eq = 9,
    Fair = 10,
    Iff = 11,
    Implies = 12,
    Inc = 13,
    Init = 14,
    Input = 15,
    Ite = 16,
    Justice = 17,
    Mul = 18,
    Nand = 19,
    Neq = 20,
    Neg = 21,
    Next = 22,
    Nor = 23,
    Not = 24,
    One = 25,
    Ones = 26,
    Or = 27,
    Output = 28,
    Read = 29,
    Redand = 30,
    Redor = 31,
    Redxor = 32,
    Rol = 33,
    Ror = 34,
    Saddo = 35,
    Sdiv = 36,
    Sdivo = 37,
    Sext = 38,
    Sgt = 39,
    Sgte = 40,
    Slice = 41,
    Sll = 42,
    Slt = 43,
    Slte = 44,
    Sort = 45,
    Smod = 46,
    Smulo = 47,
    Sra = 48,
    Srem = 49,
    Srl = 50,
    Ssubo = 51,
    State = 52,
    Sub = 53,
    Uaddo = 54,
    Udiv = 55,
    Uext = 56,
    Ugt = 57,
    Ugte = 58,
    Ult = 59,
    Ulte = 60,
    Umulo = 61,
    Urem = 62,
    Usubo = 63,
    Write = 64,
    Xnor = 65,
    Xor = 66,
    Zero = 67,
}

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 = 0

And = 1

Bad = 2

Concat = 3

Const = 4

Constraint = 5

Constd = 6

Consth = 7

Dec = 8

Eq = 9

Fair = 10

Iff = 11

Implies = 12

Inc = 13

Init = 14

Input = 15

Ite = 16

Justice = 17

Mul = 18

Nand = 19

Neq = 20

Neg = 21

Next = 22

Nor = 23

Not = 24

One = 25

Ones = 26

Or = 27

Output = 28

Read = 29

Redand = 30

Redor = 31

Redxor = 32

Rol = 33

Ror = 34

Saddo = 35

Sdiv = 36

Sdivo = 37

Sext = 38

Sgt = 39

Sgte = 40

Slice = 41

Sll = 42

Slt = 43

Slte = 44

Sort = 45

Smod = 46

Smulo = 47

Sra = 48

Srem = 49

Srl = 50

Ssubo = 51

State = 52

Sub = 53

Uaddo = 54

Udiv = 55

Uext = 56

Ugt = 57

Ugte = 58

Ult = 59

Ulte = 60

Umulo = 61

Urem = 62

Usubo = 63

Write = 64

Xnor = 65

Xor = 66

Zero = 67

Trait Implementations

impl Clone for Btor2Tag

fn clone(&self) -> Btor2Tag

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Btor2Tag

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

Formats the value using the given formatter.

impl From<u32> for Btor2Tag

fn from(raw: CBtor2Tag) -> Btor2Tag

Converts to this type from the input type.

impl Into<u32> for Btor2Tag

fn into(self) -> CBtor2Tag

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

impl Copy for Btor2Tag