Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Statistics Member List

This is the complete list of members for Statistics, including all inherited members.
_averageLiteralsPerComponentStatistics [private]
_backwardDemodulatedStatistics [private]
_backwardDemodulatedOnBranchesStatistics [private]
_backwardSubsumedStatistics [private]
_backwardSuperpositionsStatistics [private]
_currentlyActiveStatistics [private]
_currentlyPassiveStatistics [private]
_differentSplitComponentsStatistics [private]
_discardedEquationalTautologiesStatistics [private]
_discardedPropositionalTautologiesStatistics [private]
_discardedTooDeepStatistics [private]
_discardedTooHeavyStatistics [private]
_discardedWithTooHeavyLiteralsStatistics [private]
_discardedWithTooManyVariablesStatistics [private]
_equalityFactoringsStatistics [private]
_equalityResolutionsStatistics [private]
_forwardDemodulatedStatistics [private]
_forwardDemodulatedOnBranchesStatistics [private]
_forwardSubsumedStatistics [private]
_forwardSubsumptionResolutionsStatistics [private]
_forwardSuperpositionsStatistics [private]
_generatedStatistics [private]
_memoryStatistics [private]
_murderedActiveOrphansStatistics [private]
_murderedPassiveOrphansStatistics [private]
_newClausesDiscardedDueToLackOfMemoryStatistics [private]
_preprocessedStatistics [private]
_reanimatedStatistics [private]
_recycledDueToLackOfResourcesStatistics [private]
_resolutionsStatistics [private]
_retainedStatistics [private]
_splittingInferencesStatistics [private]
_terminationReasonStatistics [private]
_theoryInferencesStatistics [private]
_timeStatistics [private]
_usedStatistics [private]
_versionDescriptionStatistics [private]
_versionNumberStatistics [private]
anyDiscarded() constStatistics [inline, private]
anyGeneratingInference() constStatistics [private]
anyRedundantClause() constStatistics [private]
anySimplifyingInference() constStatistics [private]
anySplitting() constStatistics [inline, private]
endTab(ostream &)Statistics [private, static]
endXML(ostream &)Statistics [private, static]
output(ostream &) constStatistics
outputTerminationReason(ostream &str) constStatistics [private]
startTab(ostream &, const char *field)Statistics [private, static]
startXML(ostream &, const char *field)Statistics [private, static]
Statistics(const VampireKernel &)Statistics
tabulate(ostream &) constStatistics
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 &) constStatistics
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]

Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2