[−][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 |