CBMC
Loading...
Searching...
No Matches
Variables
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.

AltStyle によって変換されたページ (->オリジナル) /