|[ < ]||[ > ]||[ << ]||[ Up ]||[ >> ]||[Top]||[Contents]||[Index]||[ ? ]|
This interface of level 0 is defined in `ap_global0.h'.
Unless there exists specific reasons for not doing so, we advise the user to use the level 1 of the interface (see section Level 1 of the interface). The level 0 is intented for implementors who wants to connect a new library/abstract domain, or who want to build a composite domain from existing ones.
Dimensions and related operations Linear expressions of level 0 Linear constraints of level 0 Generators of level 0 Tree expressions of level 0 Tree constraints of level 0 Abstract values and operations of level 0