\brief Return true if the literal is the null constant

\brief Return the number of elements in the liveness domain

\brief Get the abstract value for the given variable

\brief Return true if the bound is finite

\brief Return true if the constant is an integer

\brief If the gauge is a singleton [n, n], return n, otherwise return boost::none

\brief Begin iterator over the arguments

\brief End iterator over the arguments

\brief Return true if the machine integer is strictly smaller than 0 Always false for unsigned integers

\brief Prepare a memory access (read/write) on the given pointer Return true if the memory access can be performed, i.e the pointer is non-null and w

\brief Return a control escape sequence, or empty string if colors are disabled

\brief Return ture if the bound is zero

\brief Normalize the bound

\brief Return true if the interval is [0, 0]

\brief Show the operand types of the statements

\brief Get the function body code

\brief Return true if the equivalence relation contains `v`

\brief Get the element type

\brief Begin iterator over the list of functions

\brief End iterator over the list of functions

\brief Return true if it's a scalar literal

\brief Is this a declaration?

\brief Get the returned type

\brief Set the gauge for the variable `x`

\brief Get the parent code

\brief Return a string representing a MachineIntDomainOption

\brief Assert that the parameter has the same runtime domain

\brief Assert that the parameter has the same runtime domain

\brief Increment counter, as described in the paper Note that there is a typo in the paper, it should be: [min(a_0 - k*a_j, b_0 - k*b_j) + ..; max(a_

\brief Exact division

\brief Return true if this is the minimum machine integer

\brief Get the kind of type

\brief Get the pointee type

\brief Return the variable reference

\brief Return the coefficient for the variable `v`

\brief Return true if this object has a pointer to a front-end object

Return the operands, or None

\brief Truncate the given variable

\brief Check that a condition holds, otherwise throw ImportError

\brief Perform the set difference

\brief Return true if the invariant should be displayed

\brief Return the exit of the head node

\brief Begin iterator over the list of global variables

\brief End iterator over the list of global variables

\brief Get the kind of statement

\brief Get the kind of value

\brief Get the number of parameters

\brief Get the pointer variable

\brief Resize the octagon

\brief Solve the system and refine the given invariant

\brief Return the size of the table

\brief Return the maximum number of bytes that may be overwritten by storing the specified type. For example, returns 5 for i36 and 10 for x86_fp80.

\brief Return the long name of the given checker

\brief Return the short name of the given checker

\brief Return true if the check should be displayed