| _attributes | Query | [private] |
| _bindingsLimit | Query | [private] |
| _depthLimit | Query | [private] |
| _formula | Query | [private] |
| _timeLimit | Query | [private] |
| _type | Query | [private] |
| ASSERTION enum value | Query | |
| bindingsLimit() const | Query | [inline] |
| formula() const | Query | [inline] |
| GOAL enum value | Query | |
| Query(QueryType qtype, const Formula &formula, Attribute *attributes) | Query | |
| Query() | Query | [inline] |
| QueryType enum name | Query | |
| TERMINATE enum value | Query | |
| timeLimit() const | Query | [inline] |
| type() const | Query | [inline] |
1.3.2