Here is a list of all functions with links to the structures/unions they belong to:

- w -

• weight() : QuantifierRef
• what() : exception