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

- q -

• qid() : QuantifierRef
• query() : constructors, fixedpoint, Fixedpoint
• query_from_lvl() : Fixedpoint