\brief Join the partitions and return the merged partition

\brief Begin iterator over the operands

\brief End iterator over the operands

\brief Begin iterator over the list of parameter types

\brief Change the machine integer interval sign (bitcast)

\brief Return the number of cells

\brief Return the number of variables

\brief Return the pointer variable

\brief Execute a ReturnValue statement

\brief Return true if the machine integer is greater or equal to 0 Always true for unsigned integers

\brief Return the number of leading '0' bits in a uint64_t

Return a pretty name

Run the given command and return the exit code

\brief Projection to a gauge Return an overapproximation of the value of `x` as an interval

\brief Projection to an interval Return an overapproximation of the gauge `g` as an interval

\brief Begin iterator over the memory locations

\brief Return true if the given variable is a counter

\brief Return true if this is the maximum machine integer

\brief Return true if the given variable is a pointer variable

\brief Return the next power of 2 greater or equal to this number This is undefined for negative numbers.

\brief Return the node for the given index

\brief Return a string of the QNumber in the given base The base can vary from 2 to 36, or from -2 to -36

\brief Check whether the given flag is set to 1

\brief Create the machine integer with all bits set to 1 for the given bit width and sign

\brief End iterator over the memory locations

\brief Get the number of elements

\brief Get the offset operand

\brief End iterator over the list of parameter types

\brief Update the abstract domain

\brief End iterator over the statements

\brief Get the pointer set for the given memory location

\brief Does the variable have a name?

\brief Return the kind of the object

\brief Return the bit width of the given variable

\brief Return true if the solver is empty

Create an interval from a dictionary

\brief Return true if the literal is a floating point variable

\brief Is it a variable argument (var-arg) function call?

\brief Return true if it's a zero-initialized aggregate literal

Return the info, or None

\brief return a bit mask with bits in the range [0, size_clip), with bits taken from the intersection of [low, low + size) with [low_clip, low_clip +

\brief Return a normalized copy

\brief Get the predicate

\brief Reduce the equivalence class containing the variable `v`

\brief Return the signedness the interval-congruence

\brief Return the number of bits The sign is ignored.

\brief Abstract the variable

\brief Get the alignment of the memory access, in bytes (0 if unspecified)

\brief Return the bit width of the interval-congruence

\brief Erase the fixpoint for a given call site and callee function

\brief Return the high bit (the sign bit) as a bool

\brief Return true if the bound is a constant

\brief Return true if the constraint is a contradiction

\brief Return true if the congruence is 0Z + 0

\brief Return the number of leading '1' bits in a uint64_t

\brief Modulo

\brief Helper for mod([a, b], n) If mod([a, b], n) is equivalent to [a, b] - x, returns x Otherwise, returns boost::none.

\brief Normalize the machine integer