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.