Type Alias btor2tools_sys::Btor2Tag

pub type Btor2Tag = c_uint;

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.