| _averageLiteralsPerComponent | Statistics | [private] |
| _backwardDemodulated | Statistics | [private] |
| _backwardDemodulatedOnBranches | Statistics | [private] |
| _backwardSubsumed | Statistics | [private] |
| _backwardSuperpositions | Statistics | [private] |
| _currentlyActive | Statistics | [private] |
| _currentlyPassive | Statistics | [private] |
| _differentSplitComponents | Statistics | [private] |
| _discardedEquationalTautologies | Statistics | [private] |
| _discardedPropositionalTautologies | Statistics | [private] |
| _discardedTooDeep | Statistics | [private] |
| _discardedTooHeavy | Statistics | [private] |
| _discardedWithTooHeavyLiterals | Statistics | [private] |
| _discardedWithTooManyVariables | Statistics | [private] |
| _equalityFactorings | Statistics | [private] |
| _equalityResolutions | Statistics | [private] |
| _forwardDemodulated | Statistics | [private] |
| _forwardDemodulatedOnBranches | Statistics | [private] |
| _forwardSubsumed | Statistics | [private] |
| _forwardSubsumptionResolutions | Statistics | [private] |
| _forwardSuperpositions | Statistics | [private] |
| _generated | Statistics | [private] |
| _memory | Statistics | [private] |
| _murderedActiveOrphans | Statistics | [private] |
| _murderedPassiveOrphans | Statistics | [private] |
| _newClausesDiscardedDueToLackOfMemory | Statistics | [private] |
| _preprocessed | Statistics | [private] |
| _reanimated | Statistics | [private] |
| _recycledDueToLackOfResources | Statistics | [private] |
| _resolutions | Statistics | [private] |
| _retained | Statistics | [private] |
| _splittingInferences | Statistics | [private] |
| _terminationReason | Statistics | [private] |
| _theoryInferences | Statistics | [private] |
| _time | Statistics | [private] |
| _used | Statistics | [private] |
| _versionDescription | Statistics | [private] |
| _versionNumber | Statistics | [private] |
| anyDiscarded() const | Statistics | [inline, private] |
| anyGeneratingInference() const | Statistics | [private] |
| anyRedundantClause() const | Statistics | [private] |
| anySimplifyingInference() const | Statistics | [private] |
| anySplitting() const | Statistics | [inline, private] |
| endTab(ostream &) | Statistics | [private, static] |
| endXML(ostream &) | Statistics | [private, static] |
| output(ostream &) const | Statistics | |
| outputTerminationReason(ostream &str) const | Statistics | [private] |
| startTab(ostream &, const char *field) | Statistics | [private, static] |
| startXML(ostream &, const char *field) | Statistics | [private, static] |
| Statistics(const VampireKernel &) | Statistics | |
| tabulate(ostream &) const | Statistics | |
| tabulate(ostream &, const char *field, const char *value) | Statistics | [private, static] |
| tabulate(ostream &, const char *field, int value) | Statistics | [private, static] |
| tabulate(ostream &, const char *field, long value) | Statistics | [private, static] |
| tabulate(ostream &, const char *field, float value) | Statistics | [private, static] |
| toXML(ostream &) const | Statistics | |
| toXML(ostream &, const char *field, const char *value) | Statistics | [private, static] |
| toXML(ostream &, const char *field, int value) | Statistics | [private, static] |
| toXML(ostream &, const char *field, long value) | Statistics | [private, static] |
| toXML(ostream &, const char *field, float value) | Statistics | [private, static] |