Documentation Verification Report

Basic

📁 Source: Aesop/Stats/Basic.lean

Statistics

MetricCount
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
Theorems0
Total110

Aesop

Definitions

NameCategoryTheorems
ForwardClusterStateStats 📖CompData
ForwardInstantiationStats 📖CompData
ForwardRuleStateStats 📖CompData
ForwardStateStats 📖CompData
GoalKind 📖CompData
GoalStats 📖CompData
MonadStats 📖CompData
RuleStats 📖CompData
RuleStatsTotals 📖CompData
ScriptGenerated 📖CompData
StatsRef 📖CompOp
enableStats 📖CompOp
enableStatsCollection 📖CompOp
enableStatsFile 📖CompOp
enableStatsTracing 📖CompOp
instInhabitedForwardClusterStateStats 📖CompOp
instInhabitedForwardInstantiationStats 📖CompOp
instInhabitedForwardRuleStateStats 📖CompOp
instInhabitedForwardStateStats 📖CompOp
instInhabitedGoalKind 📖CompOp
instInhabitedGoalStats 📖CompOp
instInhabitedRuleStats 📖CompOp
instInhabitedScriptGenerated 📖CompOp
instInhabitedStats 📖CompOp
instMonadStatsOfMonadOptionsOfMonadStateOfStats 📖CompOp
instMonadStatsReaderT 📖CompOp
instMonadStatsStateRefT' 📖CompOp
instToJsonForwardClusterStateStats 📖CompOp
instToJsonForwardInstantiationStats 📖CompOp
instToJsonForwardRuleStateStats 📖CompOp
instToJsonForwardStateStats 📖CompOp
instToJsonGoalKind 📖CompOp
instToJsonGoalStats 📖CompOp
instToJsonRuleStats 📖CompOp
instToJsonScriptGenerated 📖CompOp
instToStringMethod 📖CompOp
modifyStatsIfEnabled 📖CompOp
profiling 📖CompOp
profilingForwardState 📖CompOp
profilingRule 📖CompOp
profilingRuleSelection 📖CompOp
recordScriptGenerated 📖CompOp
sortRuleStatsTotals 📖CompOp

Aesop.ForwardClusterStateStats

Definitions

NameCategoryTheorems
instantiationStats 📖CompOp
slots 📖CompOp

Aesop.ForwardInstantiationStats

Definitions

NameCategoryTheorems
hyps 📖CompOp
matches 📖CompOp

Aesop.ForwardRuleStateStats

Definitions

NameCategoryTheorems
clusterStateStats 📖CompOp
ruleName 📖CompOp

Aesop.ForwardStateStats

Definitions

NameCategoryTheorems
ruleStateStats 📖CompOp

Aesop.GoalStats

Definitions

NameCategoryTheorems
depth 📖CompOp
forwardStateStats 📖CompOp
goalId 📖CompOp
goalKind 📖CompOp
lctxSize 📖CompOp

Aesop.MonadStats

Definitions

NameCategoryTheorems
getStats 📖CompOp
modifyGetStats 📖CompOp
modifyStats 📖CompOp
toMonadOptions 📖CompOp

Aesop.RuleStats

Definitions

NameCategoryTheorems
elapsed 📖CompOp
instToString 📖CompOp
rule 📖CompOp
successful 📖CompOp

Aesop.RuleStatsTotals

Definitions

NameCategoryTheorems
compareByTotalElapsed 📖CompOp
elapsedFailed 📖CompOp
elapsedSuccessful 📖CompOp
empty 📖CompOp
instEmptyCollection 📖CompOp
numFailed 📖CompOp
numSuccessful 📖CompOp

Aesop.ScriptGenerated

Definitions

NameCategoryTheorems
Method 📖CompData
hasMVar 📖CompOp
instInhabitedMethod 📖CompOp
instToJsonMethod 📖CompOp
method 📖CompOp
perfect 📖CompOp
toString 📖CompOp

Aesop.ScriptGenerated.instInhabitedMethod

Definitions

NameCategoryTheorems
default 📖CompOp

Aesop.ScriptGenerated.instToJsonMethod

Definitions

NameCategoryTheorems
toJson 📖CompOp

Aesop.Stats

Definitions

NameCategoryTheorems
configParsing 📖CompOp
empty 📖CompOp
forwardState 📖CompOp
goalStats 📖CompOp
instEmptyCollection 📖CompOp
ruleSelection 📖CompOp
ruleSetConstruction 📖CompOp
ruleStats 📖CompOp
ruleStatsTotals 📖CompOp
script 📖CompOp
scriptGenerated 📖CompOp
search 📖CompOp
total 📖CompOp
trace 📖CompOp

Aesop.instInhabitedForwardClusterStateStats

Definitions

NameCategoryTheorems
default 📖CompOp

Aesop.instInhabitedForwardInstantiationStats

Definitions

NameCategoryTheorems
default 📖CompOp

Aesop.instInhabitedForwardRuleStateStats

Definitions

NameCategoryTheorems
default 📖CompOp

Aesop.instInhabitedForwardStateStats

Definitions

NameCategoryTheorems
default 📖CompOp

Aesop.instInhabitedGoalKind

Definitions

NameCategoryTheorems
default 📖CompOp

Aesop.instInhabitedGoalStats

Definitions

NameCategoryTheorems
default 📖CompOp

Aesop.instInhabitedRuleStats

Definitions

NameCategoryTheorems
default 📖CompOp

Aesop.instInhabitedScriptGenerated

Definitions

NameCategoryTheorems
default 📖CompOp

Aesop.instInhabitedStats

Definitions

NameCategoryTheorems
default 📖CompOp

Aesop.instToJsonForwardClusterStateStats

Definitions

NameCategoryTheorems
toJson 📖CompOp

Aesop.instToJsonForwardInstantiationStats

Definitions

NameCategoryTheorems
toJson 📖CompOp

Aesop.instToJsonForwardRuleStateStats

Definitions

NameCategoryTheorems
toJson 📖CompOp

Aesop.instToJsonForwardStateStats

Definitions

NameCategoryTheorems
toJson 📖CompOp

Aesop.instToJsonGoalKind

Definitions

NameCategoryTheorems
toJson 📖CompOp

Aesop.instToJsonGoalStats

Definitions

NameCategoryTheorems
toJson 📖CompOp

Aesop.instToJsonRuleStats

Definitions

NameCategoryTheorems
toJson 📖CompOp

Aesop.instToJsonScriptGenerated

Definitions

NameCategoryTheorems
toJson 📖CompOp

---

← Back to Index