OAI/Combinatorics/MatchingCount/Machines/PhysicalSequential.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.PhysicalPost.seq line 13
2. def OAI.MatchingFPRAS.PhysicalPost.leftCfg line 18
3. def OAI.MatchingFPRAS.PhysicalPost.rightCfg line 20
4. lemma OAI.MatchingFPRAS.PhysicalPost.tick_left line 21
5. lemma OAI.MatchingFPRAS.PhysicalPost.tick_right line 26
6. lemma OAI.MatchingFPRAS.PhysicalPost.execute_right line 35
7. lemma OAI.MatchingFPRAS.PhysicalPost.Implements.right line 40
8. def OAI.MatchingFPRAS.PhysicalPost.early line 49
9. lemma OAI.MatchingFPRAS.PhysicalPost.early_cost line 54
10. lemma OAI.MatchingFPRAS.PhysicalPost.early_run line 61
11. lemma OAI.MatchingFPRAS.PhysicalPost.early_mean line 70
12. lemma OAI.MatchingFPRAS.PhysicalPost.early_left line 73
13. lemma OAI.MatchingFPRAS.PhysicalPost.Implements.early_mean line 86
14. lemma OAI.MatchingFPRAS.PhysicalPost.Implements.bind_all line 92
15. lemma OAI.MatchingFPRAS.PhysicalPost.seq_supported line 101