Here is a list of all related symbols with links to the classes they belong to:

- w -

• widening : apron::abstract0, apron::abstract1