_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] |