cprover
magic.h File Reference

Magic numbers used throughout the codebase. More...

#include <cstddef>
Include dependency graph for magic.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Variables

const std::size_t CNF_DUMP_BLOCK_SIZE = 4096
 
const std::size_t MAX_FLATTENED_ARRAY_SIZE =1000
 
const std::size_t STRING_REFINEMENT_MAX_CHAR_WIDTH = 16
 
const std::size_t MAX_CONCRETE_STRING_SIZE = 1 << 26
 

Detailed Description

Magic numbers used throughout the codebase.

Author
Kareem Khazem karkh.nosp@m.az@k.nosp@m.arkha.nosp@m.z.co.nosp@m.m

Definition in file magic.h.

Variable Documentation

◆ CNF_DUMP_BLOCK_SIZE

const std::size_t CNF_DUMP_BLOCK_SIZE = 4096

Definition at line 10 of file magic.h.

Referenced by dimacs_cnft::write_clauses().

◆ MAX_CONCRETE_STRING_SIZE

const std::size_t MAX_CONCRETE_STRING_SIZE = 1 << 26

Definition at line 14 of file magic.h.

Referenced by get_array().

◆ MAX_FLATTENED_ARRAY_SIZE

const std::size_t MAX_FLATTENED_ARRAY_SIZE =1000

◆ STRING_REFINEMENT_MAX_CHAR_WIDTH

const std::size_t STRING_REFINEMENT_MAX_CHAR_WIDTH = 16

Definition at line 12 of file magic.h.

Referenced by is_char_type().