Namespace List

Here is a list of all namespaces with brief descriptions:

[detail level 12]

N__ESBMC_exception_detail
Nabc
Nbuiltins
Nclang
Nclang_bug_report	Namespace for scripts taken from Clang, as generated by: clang –analyze -Xclang -analyzer-output=html -o test test.c
Ncmath
Ncmath_lowering_policy	Budget model that decides when cmath calls should be lowered inline vs dispatched to the Python model
Ncollections
Ncomplex_utils
Nconsensus
Ncontextt_detail
Ndataclasses
Ndatetime
Ndecimal
Ndynamic_type_detail
Nenum
Nesbmc
Nesbmct	Containers and field-walking infrastructure for irep2 nodes
Nexception_globals	Global symbols that carry the in-flight exception across the GOTO program once throw/catch dispatch is lowered to ordinary control flow (issue #5075)
Nexceptions
Nfile_operations	This file will contains helper functions for manipulating files
Nfloat
Nfmt
Ngoto_symex_utils
Nheapq
Nint
Ninvariant_synthesis	The recogniser's pure syntactic predicates
Nio
Njson_utils
Nlinalg
Nliterals
Nllm
Nllvm
Nloop_invariant
Nmath
Nmath_guard_utils
Nnondet
Nnumpy
Noneshot_process	Helpers shared by backends that render the formula into a file via the smtlib serializer and run an external one-shot solver command on it (bitwuzllob, neurosym)
Nos
Nparser
N__main__
Nbootstrap
Nclass_collision
Nconstant_annotations
Nimport_resolver
Njson_emitter
Nnested_class_imports
Nparser
Nparser_cli
Nrange_alias_pipeline
Nrewrite_re
Nthreading_lowering
Ntypecheck
Npath
Npicosha2
Ndetail
Nimpl
Nposix_time
Npreprocessor
Nassignment_core_mixin
Nassignment_visitors_mixin
Nast_utils_mixin
Nbound_method_dispatch
Nbound_method_values
Ncheck_type_lowering
Nclass_context_mixin
Ncore_visitors_mixin
Ncoroutine_lowering
Ndataclass_mixin
Ndecorator_lowering
Ndotted_imports
Nexpression_rewrite_mixin
Nfunction_sentinel_mixin
Nfunction_value_dispatch
Nfunction_value_types
Ngenerator_mixin
Nhelper_functions_mixin
Nimport_typing_mixin
Niter_next_lowering
Nitertools_lowering
Nloop_mixin
Nmatch_lowering
Nmodule_lifecycle_mixin
Nmodule_rewrite_mixin
Nnamedtuple_lowering
Nnumpy_constructor_mixin
Npath_dependent_attributes
Npreprocessor_state_mixin
Nreceiver_classes
Nrejection
Nsequence_iterator_mixin
Nsibling_defs
Nskipped_base_init
Ntype_inference_mixin
Nunbound_locals
Nunittest_mixin
Nvararg_mixin
Nzip_lowering
Npython_annotation_intrinsics
Npython_annotation_parser
Npython_annotation_utils
Npython_char_utils
Npython_exception_utils
Npython_expr
Npython_frontend
Npython_list_detail
Npython_param_annotations
Nqueue
Nrandom
Nrange
Nre
Nrenaming
Nsimplification_check	Debug-mode guard on the expression simplifier (esbmc/esbmc#4625)
Ndetail
Nsimplification_check_stats	How much check() actually decided, over every caller
Nsmt_fp_rounding_utils
NSolidityGrammar
Nstd
Nstring
Nstring_call_utils
Nstring_method_dispatch
Nsubprocess
Nsys
Nthreading
Nthreading_deadlock
Ntime
Ntoml
Ntorch
Ntranscendental	Bounds on the transcendental functions numpy
Ntransform
Ntyping
Nunittest