DefinitionsForwardClusterStateStats, instantiationStats, slots, ForwardInstantiationStats, hyps, matches, ForwardRuleStateStats, clusterStateStats, ruleName, ForwardStateStats, ruleStateStats, GoalKind, GoalStats, depth, forwardStateStats, goalId, goalKind, lctxSize, MonadStats, getStats, modifyGetStats, modifyStats, toMonadOptions, RuleStats, elapsed, instToString, rule, successful, RuleStatsTotals, compareByTotalElapsed, elapsedFailed, elapsedSuccessful, empty, instEmptyCollection, numFailed, numSuccessful, ScriptGenerated, Method, hasMVar, instInhabitedMethod, default, instToJsonMethod, toJson, method, perfect, toString, configParsing, empty, forwardState, goalStats, instEmptyCollection, ruleSelection, ruleSetConstruction, ruleStats, ruleStatsTotals, script, scriptGenerated, search, total, trace, StatsRef, enableStats, enableStatsCollection, enableStatsFile, enableStatsTracing, instInhabitedForwardClusterStateStats, default, instInhabitedForwardInstantiationStats, default, instInhabitedForwardRuleStateStats, default, instInhabitedForwardStateStats, default, instInhabitedGoalKind, default, instInhabitedGoalStats, default, instInhabitedRuleStats, default, instInhabitedScriptGenerated, default, instInhabitedStats, default, instMonadStatsOfMonadOptionsOfMonadStateOfStats, instMonadStatsReaderT, instMonadStatsStateRefT', instToJsonForwardClusterStateStats, toJson, instToJsonForwardInstantiationStats, toJson, instToJsonForwardRuleStateStats, toJson, instToJsonForwardStateStats, toJson, instToJsonGoalKind, toJson, instToJsonGoalStats, toJson, instToJsonRuleStats, toJson, instToJsonScriptGenerated, toJson, instToStringMethod, modifyStatsIfEnabled, profiling, profilingForwardState, profilingRule, profilingRuleSelection, recordScriptGenerated, sortRuleStatsTotals | 110 |