\brief Create the empty liveness domain

\brief Convert a llvm::APInt to a string

\brief End iterator over the cells

\brief Return true if the interval contains n

\brief Return true if the abstract value is bottom This is not always correct since it doesn't check this->_integer

\brief End iterator over the components

\brief Insert an element in the set

\brief Join two workers

\brief Begin iterator over the cells

\brief Begin iterator over the pairs (variable, interval)

\brief Check that a condition holds, otherwise throw TypeDebugInfoMismatch

\brief Return the congruence

Get the singleton instance of view

\brief Return the demangled symbol name, or name if it is not mangled

\brief Does it have a result variable?

\brief Return the total number of nodes

\brief Get the bit width

\brief Is this a definition?

\brief Return true if the bound is finite

\brief Get the operator

\brief End iterator over the elements

\brief Return the machine integer interval as a ZInterval

\brief Insert an element or assign a new value for the given `key`

\brief Return true if the set is empty

\brief Remove an element from the map, if present

\brief Get the pointer operand

\brief Get the index of variable x in _matrix Create a new one if not found

\brief Find the value associated with the given key

\brief Return true if the abstract value is bottom This is not always correct since it doesn't check this->_integer

\brief Get the right operand (index 1)

Return the function

\brief Return the number of terms

\brief Add constraint v_i - v_j <= c

\brief Return true if the bound is infinite

\brief Wrap the given variable

\brief Get the aggregate operand

\brief Begin iterator over the elements

\brief Return true if it's an undefined aggregate literal

\brief Return true if the literal is a variable

\brief Get the left operand (index 0)

\brief Begin iterator over the components

\brief Logging output stream

\brief Get the last statement

\brief Get or create a machine integer variable

\brief Return the context message

\brief Initialize global variables and function pointer operands

\brief Return true if the bound is infinite

\brief Return true if the basic block is empty

\brief If the constant in a number n, return n, otherwise return boost::none

\brief Return true if the basic block is empty

\brief Execute a call to an unknown function \param call The call statement \param may_write_params True if the function call might write on a pointe

\brief Return true if it's an aggregate literal