OAI/Combinatorics/ContingencyTables/Sampling/ProfileTransitionCountSemantics.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Executed cached transitions have the actual walk's integer counts

  1. lemma OAI.ContingencyTables.ProfilePrograms.cachedWordCount_eq line 10
  2. def OAI.ContingencyTables.SmallGraphProfiles.listedUnpaddedCounts line 39
  3. def OAI.ContingencyTables.SmallGraphProfiles.listedCompletionFactor line 46
  4. def OAI.ContingencyTables.SmallGraphProfiles.listedCachedDecision line 49
  5. lemma OAI.ContingencyTables.SmallGraphProfiles.listedCompletionCounts_count line 55
  6. lemma OAI.ContingencyTables.SmallGraphProfiles.listedStepCounts_sum line 62
  7. lemma OAI.ContingencyTables.SmallGraphProfiles.decisionWeightSum_listed line 75
  8. lemma OAI.ContingencyTables.SmallGraphProfiles.transitionCount_actual line 84