cprover
util Directory Reference
Directory dependency graph for util:
This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.
Files
file
arith_tools.cpp
[code]
file
arith_tools.h
[code]
file
array_name.cpp
[code]
Misc Utilities.
file
array_name.h
[code]
Misc Utilities.
file
base_exceptions.h
[code]
Generic exception types primarily designed for use with invariants.
file
base_type.cpp
[code]
Base Type Computation.
file
base_type.h
[code]
Base Type Computation.
file
bv_arithmetic.cpp
[code]
file
bv_arithmetic.h
[code]
file
byte_operators.cpp
[code]
file
byte_operators.h
[code]
Expression classes for byte-level operators.
file
c_types.cpp
[code]
file
c_types.h
[code]
file
cmdline.cpp
[code]
file
cmdline.h
[code]
file
config.cpp
[code]
file
config.h
[code]
file
container_utils.h
[code]
file
cout_message.cpp
[code]
file
cout_message.h
[code]
file
cow.h
[code]
file
cprover_prefix.h
[code]
file
decision_procedure.cpp
[code]
Decision Procedure Interface.
file
decision_procedure.h
[code]
Decision Procedure Interface.
file
deprecate.h
[code]
file
dstring.cpp
[code]
Container for C-Strings.
file
dstring.h
[code]
Container for C-Strings.
file
endianness_map.cpp
[code]
file
endianness_map.h
[code]
file
exit_codes.h
[code]
Document and give macros for the exit codes of CPROVER binaries.
file
expanding_vector.h
[code]
file
expr.cpp
[code]
Expression Representation.
file
expr.h
[code]
file
expr_cast.h
[code]
Templated functions to cast to specific exprt-derived classes.
file
expr_initializer.cpp
[code]
Expression Initialization.
file
expr_initializer.h
[code]
Expression Initialization.
file
expr_iterator.h
[code]
file
expr_util.cpp
[code]
file
expr_util.h
[code]
Deprecated expression utility functions.
file
file_util.cpp
[code]
File Utilities.
file
file_util.h
[code]
file
find_macros.cpp
[code]
file
find_macros.h
[code]
file
find_symbols.cpp
[code]
file
find_symbols.h
[code]
file
fixed_keys_map_wrapper.h
[code]
A wrapper for maps that gives read-write access to elements but without allowing addition or removal of elements.
file
fixedbv.cpp
[code]
file
fixedbv.h
[code]
file
format.h
[code]
file
format_constant.cpp
[code]
file
format_constant.h
[code]
file
format_expr.cpp
[code]
Expression Pretty Printing.
file
format_expr.h
[code]
file
format_number_range.cpp
[code]
Format vector of numbers into a compressed range.
file
format_number_range.h
[code]
Format vector of numbers into a compressed range.
file
format_spec.h
[code]
file
format_type.cpp
[code]
file
format_type.h
[code]
file
freer.h
[code]
file
fresh_symbol.cpp
[code]
Fresh auxiliary symbol creation.
file
fresh_symbol.h
[code]
Fresh auxiliary symbol creation.
file
get_base_name.cpp
[code]
file
get_base_name.h
[code]
file
get_module.cpp
[code]
Find module symbol using name.
file
get_module.h
[code]
Find module symbol using name.
file
graph.h
[code]
A Template Class for Graphs.
file
guard.cpp
[code]
Symbolic Execution.
file
guard.h
[code]
Guard Data Structure.
file
identifier.cpp
[code]
file
identifier.h
[code]
file
ieee_float.cpp
[code]
file
ieee_float.h
[code]
file
infix.h
[code]
String infix shorthand.
file
invariant.cpp
[code]
file
invariant.h
[code]
file
invariant_utils.cpp
[code]
Invariant helper utilities.
file
invariant_utils.h
[code]
file
irep.cpp
[code]
Internal Representation.
file
irep.h
[code]
file
irep_hash.cpp
[code]
irep hash functions
file
irep_hash.h
[code]
irep hash functions
file
irep_hash_container.cpp
[code]
Hashing IREPs.
file
irep_hash_container.h
[code]
IREP Hash Container.
file
irep_ids.cpp
[code]
Internal Representation.
file
irep_ids.h
[code]
util
file
irep_serialization.cpp
[code]
binary irep conversions with hashing
file
irep_serialization.h
[code]
binary irep conversions with hashing
file
journalling_symbol_table.h
[code]
Author: Diffblue Ltd.
file
json.cpp
[code]
file
json.h
[code]
file
json_expr.cpp
[code]
Expressions in JSON.
file
json_expr.h
[code]
Expressions in JSON.
file
json_irep.cpp
[code]
Util.
file
json_irep.h
[code]
Util.
file
json_stream.cpp
[code]
file
json_stream.h
[code]
file
lispexpr.cpp
[code]
file
lispexpr.h
[code]
file
lispirep.cpp
[code]
file
lispirep.h
[code]
file
magic.h
[code]
Magic numbers used throughout the codebase.
file
make_unique.h
[code]
file
memory_info.cpp
[code]
file
memory_info.h
[code]
file
merge_irep.cpp
[code]
file
merge_irep.h
[code]
file
message.cpp
[code]
file
message.h
[code]
file
mp_arith.cpp
[code]
file
mp_arith.h
[code]
file
namespace.cpp
[code]
Namespace.
file
namespace.h
[code]
file
nondet_bool.h
[code]
Nondeterministic boolean helper.
file
numbering.h
[code]
file
optional.h
[code]
file
options.cpp
[code]
Options.
file
options.h
[code]
Options.
file
parse_options.cpp
[code]
file
parse_options.h
[code]
file
parser.cpp
[code]
file
parser.h
[code]
Parser
utilities.
file
pointer_offset_size.cpp
[code]
Pointer Logic.
file
pointer_offset_size.h
[code]
Pointer Logic.
file
pointer_predicates.cpp
[code]
Various predicates over pointers in programs.
file
pointer_predicates.h
[code]
Various predicates over pointers in programs.
file
prefix.h
[code]
file
preprocessor.h
[code]
Preprocessing Base Class.
file
rational.cpp
[code]
Rational Numbers.
file
rational.h
[code]
file
rational_tools.cpp
[code]
Rational Numbers.
file
rational_tools.h
[code]
file
ref_expr_set.cpp
[code]
Value Set.
file
ref_expr_set.h
[code]
Value Set.
file
reference_counting.h
[code]
Reference Counting.
file
refined_string_type.cpp
[code]
Type for string expressions used by the string solver.
file
refined_string_type.h
[code]
Type for string expressions used by the string solver.
file
rename.cpp
[code]
file
rename.h
[code]
file
rename_symbol.cpp
[code]
file
rename_symbol.h
[code]
file
replace_expr.cpp
[code]
file
replace_expr.h
[code]
file
replace_symbol.cpp
[code]
file
replace_symbol.h
[code]
file
run.cpp
[code]
file
run.h
[code]
file
sharing_map.h
[code]
Sharing map.
file
sharing_node.h
[code]
Sharing node.
file
signal_catcher.cpp
[code]
file
signal_catcher.h
[code]
file
simplify_expr.cpp
[code]
file
simplify_expr.h
[code]
file
simplify_expr_array.cpp
[code]
file
simplify_expr_boolean.cpp
[code]
file
simplify_expr_class.h
[code]
file
simplify_expr_floatbv.cpp
[code]
file
simplify_expr_int.cpp
[code]
file
simplify_expr_pointer.cpp
[code]
file
simplify_expr_struct.cpp
[code]
file
simplify_utils.cpp
[code]
file
simplify_utils.h
[code]
file
small_map.h
[code]
Small map.
file
small_shared_ptr.h
[code]
file
small_shared_two_way_ptr.h
[code]
file
source_location.cpp
[code]
file
source_location.h
[code]
file
sparse_vector.h
[code]
Sparse Vectors.
file
ssa_expr.cpp
[code]
file
ssa_expr.h
[code]
file
std_code.cpp
[code]
file
std_code.h
[code]
file
std_expr.cpp
[code]
file
std_expr.h
[code]
API to expression classes.
file
std_types.cpp
[code]
file
std_types.h
[code]
API to type classes.
file
string2int.cpp
[code]
file
string2int.h
[code]
file
string_constant.cpp
[code]
file
string_constant.h
[code]
file
string_container.cpp
[code]
Container for C-Strings.
file
string_container.h
[code]
Container for C-Strings.
file
string_expr.h
[code]
String expressions for the string solver.
file
string_hash.cpp
[code]
string hashing
file
string_hash.h
[code]
string hashing
file
string_utils.cpp
[code]
file
string_utils.h
[code]
file
suffix.h
[code]
file
symbol.cpp
[code]
file
symbol.h
[code]
Symbol table entry.
file
symbol_table.cpp
[code]
file
symbol_table.h
[code]
Author: Diffblue Ltd.
file
symbol_table_base.cpp
[code]
file
symbol_table_base.h
[code]
Author: Diffblue Ltd.
file
tempdir.cpp
[code]
file
tempdir.h
[code]
file
tempfile.cpp
[code]
file
tempfile.h
[code]
file
threeval.cpp
[code]
file
threeval.h
[code]
file
throw_with_nested.h
[code]
file
timestamper.cpp
[code]
file
timestamper.h
[code]
Emit timestamps.
file
type.cpp
[code]
file
type.h
[code]
file
type_eq.cpp
[code]
Type Checking.
file
type_eq.h
[code]
file
typecheck.cpp
[code]
file
typecheck.h
[code]
file
ui_message.cpp
[code]
file
ui_message.h
[code]
file
unicode.cpp
[code]
file
unicode.h
[code]
file
union_find.cpp
[code]
file
union_find.h
[code]
file
union_find_replace.cpp
[code]
file
union_find_replace.h
[code]
file
unwrap_nested_exception.cpp
[code]
file
unwrap_nested_exception.h
[code]
file
xml.cpp
[code]
file
xml.h
[code]
file
xml_expr.cpp
[code]
Expressions in XML.
file
xml_expr.h
[code]
file
xml_irep.cpp
[code]
file
xml_irep.h
[code]
util
Generated by
1.8.14