Crate btor2tools_sys

source ·

Structs

Constants

Functions

Type Aliases

  • Btor2SortTag
  • Btor2Tag
    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.
  • FILE
  • _IO_lock_t
  • __off64_t
  • __off_t

Unions