[−][src]Crate btor2tools_sys
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
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 Definitions
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 | |
__int32_t | |
__int64_t | |
__off64_t | |
__off_t | |
__uint32_t | |
size_t |
Unions
Btor2Sort__bindgen_ty_1 |