smt_index.cpp File Reference
#include "smt_index.h"
Include dependency graph for smt_index.cpp:Go to the source code of this file.
Variables | |
| const irep_idt | ID_smt_numeral_index {"smt_numeral_index"} |
| const irep_idt | ID_smt_symbol_index {"smt_symbol_index"} |
Variable Documentation
◆ ID_smt_numeral_index
| const irep_idt ID_smt_numeral_index {"smt_numeral_index"} |
Definition at line 6 of file smt_index.cpp.
◆ ID_smt_symbol_index
| const irep_idt ID_smt_symbol_index {"smt_symbol_index"} |
Definition at line 7 of file smt_index.cpp.
