Crate btor2tools_sys

Source

Structs§

Btor2Line
Btor2LineIterator
Btor2Parser
Btor2Sort
Btor2Sort__bindgen_ty_1__bindgen_ty_1
Btor2Sort__bindgen_ty_1__bindgen_ty_2
_IO_FILE
_IO_codecvt
_IO_marker
_IO_wide_data

Constants§

Btor2SortTag_BTOR2_TAG_SORT_array
Btor2SortTag_BTOR2_TAG_SORT_bitvec
Btor2Tag_BTOR2_TAG_add
Btor2Tag_BTOR2_TAG_and
Btor2Tag_BTOR2_TAG_bad
Btor2Tag_BTOR2_TAG_concat
Btor2Tag_BTOR2_TAG_const
Btor2Tag_BTOR2_TAG_constd
Btor2Tag_BTOR2_TAG_consth
Btor2Tag_BTOR2_TAG_constraint
Btor2Tag_BTOR2_TAG_dec
Btor2Tag_BTOR2_TAG_eq
Btor2Tag_BTOR2_TAG_fair
Btor2Tag_BTOR2_TAG_iff
Btor2Tag_BTOR2_TAG_implies
Btor2Tag_BTOR2_TAG_inc
Btor2Tag_BTOR2_TAG_init
Btor2Tag_BTOR2_TAG_input
Btor2Tag_BTOR2_TAG_ite
Btor2Tag_BTOR2_TAG_justice
Btor2Tag_BTOR2_TAG_mul
Btor2Tag_BTOR2_TAG_nand
Btor2Tag_BTOR2_TAG_neg
Btor2Tag_BTOR2_TAG_neq
Btor2Tag_BTOR2_TAG_next
Btor2Tag_BTOR2_TAG_nor
Btor2Tag_BTOR2_TAG_not
Btor2Tag_BTOR2_TAG_one
Btor2Tag_BTOR2_TAG_ones
Btor2Tag_BTOR2_TAG_or
Btor2Tag_BTOR2_TAG_output
Btor2Tag_BTOR2_TAG_read
Btor2Tag_BTOR2_TAG_redand
Btor2Tag_BTOR2_TAG_redor
Btor2Tag_BTOR2_TAG_redxor
Btor2Tag_BTOR2_TAG_rol
Btor2Tag_BTOR2_TAG_ror
Btor2Tag_BTOR2_TAG_saddo
Btor2Tag_BTOR2_TAG_sdiv
Btor2Tag_BTOR2_TAG_sdivo
Btor2Tag_BTOR2_TAG_sext
Btor2Tag_BTOR2_TAG_sgt
Btor2Tag_BTOR2_TAG_sgte
Btor2Tag_BTOR2_TAG_slice
Btor2Tag_BTOR2_TAG_sll
Btor2Tag_BTOR2_TAG_slt
Btor2Tag_BTOR2_TAG_slte
Btor2Tag_BTOR2_TAG_smod
Btor2Tag_BTOR2_TAG_smulo
Btor2Tag_BTOR2_TAG_sort
Btor2Tag_BTOR2_TAG_sra
Btor2Tag_BTOR2_TAG_srem
Btor2Tag_BTOR2_TAG_srl
Btor2Tag_BTOR2_TAG_ssubo
Btor2Tag_BTOR2_TAG_state
Btor2Tag_BTOR2_TAG_sub
Btor2Tag_BTOR2_TAG_uaddo
Btor2Tag_BTOR2_TAG_udiv
Btor2Tag_BTOR2_TAG_uext
Btor2Tag_BTOR2_TAG_ugt
Btor2Tag_BTOR2_TAG_ugte
Btor2Tag_BTOR2_TAG_ult
Btor2Tag_BTOR2_TAG_ulte
Btor2Tag_BTOR2_TAG_umulo
Btor2Tag_BTOR2_TAG_urem
Btor2Tag_BTOR2_TAG_usubo
Btor2Tag_BTOR2_TAG_write
Btor2Tag_BTOR2_TAG_xnor
Btor2Tag_BTOR2_TAG_xor
Btor2Tag_BTOR2_TAG_zero

Functions§

btor2parser_delete⚠
btor2parser_error⚠
btor2parser_get_line_by_id⚠
btor2parser_iter_init⚠
btor2parser_iter_next⚠
btor2parser_max_id⚠
btor2parser_new⚠
btor2parser_read_lines⚠
fclose⚠
fopen⚠

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§

Btor2Sort__bindgen_ty_1