\brief Conversion from VariableRef to ap_texpr0_t

\brief Return a pointer to the symbolic location of the aggregate in memory

\brief Check that the given types are equals

\brief Get the element operand

\brief End iterator over the fields of the structure

\brief Get the float semantic

\brief Is it the body of a function?

\brief Is it a void type?

\brief Return true if the machine integer is 0

\brief Return the kind of the object

\brief Get the kind of statement

\brief Return the gauge bound as a linear expression

\brief Begin iterator over the predecessors

\brief Push a node on the stack

\brief Reduce the information on variable `v`

\brief Return true if the variable mapping is the same

\brief Get the sign

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

\brief Begin iterator over the successors

\brief Return the number of trailing '1' bits This is undefined if the number is -1.

\brief Return the number of trailing '0' bits This is undefined if the number is 0.

\brief Return the offset in bytes between successive objects of the specified type, including alignment padding. This is the amount of space that All

\brief Semantic transformer for an edge This method is called with the abstract value representing the state of the program after exiting the source

\brief Return the bottom nullity value

\brief Return the control flow graph

Return the column number, or None

\brief End iterator over the list of widening hints

\brief Return the end iterator over the terms

\brief Get the entry basic block

\brief Find the root of the equivalence class containing `v`

\brief Get the empty call context

\brief Return the abstract value for pointers stored at the given memory location

\brief Return true if this statement has an alignment constraint

\brief Check if the operation must not wrap integers In this case, If an integer overflow occurs, it is considered an error that traps the program.

\brief Initialize an aggregate memory location Internal variables of aggregate types are modeled as if they were in memory, at a symbolic location.

\brief Check the kind of this given node index

\brief Return true if the bound is plus infinity

\brief Return True if both abstract values have the same partitioning

\brief Return true if the set is a subset of `other`

\brief Write an aggregate in the memory

\brief Modulo of intervals

\brief Return the number, or boost::none if the bound is infinite

\brief Get the parent basic block

\brief Projection Return an overapproximation of the linear expression e as an abstract value Note that it wraps on integer overflow. Note that it w

\brief Reduce the pointer abstract value

\brief Remove a cell from the set

\brief End reverse iterator over the statements

\brief Set the abstract value of the given variable