cprover
util

Folder util

Author
Martin Brain, Owen Jones

Data Structures

This section discusses some of the key data-structures used in the CPROVER codebase.

Irept Data Structure

See irept for more information.

Irep_idt and Dstringt

Inside irept, strings are stored as irep_idts, or irep_namets for keys to named_sub or comments. By default both irep_idt and irep_namet are typedefed to dstringt, unless USE_STD_STRING is set, in which case they are typedefed to std::string (this can be used for debugging purposes).