OAI/Computability/PerfectCompleteness/Model.lean

GitHub source file

27 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.PerfectCompleteness.BinaryFormula.Literal line 8

   Also declared: ComparatorChallenges/PerfectCompleteness.lean:25 (same declaration text).

2. def OAI.PerfectCompleteness.BinaryFormula.Literal.eval line 13

   Also declared: ComparatorChallenges/PerfectCompleteness.lean:30 (same declaration text).

3. abbrev OAI.PerfectCompleteness.BinaryFormula.Clause line 16

   Also declared: ComparatorChallenges/PerfectCompleteness.lean:33 (same declaration text).

4. def OAI.PerfectCompleteness.BinaryFormula.Clause.eval line 18

   Also declared: ComparatorChallenges/PerfectCompleteness.lean:35 (same declaration text).

5. structure OAI.PerfectCompleteness.BinaryFormula.Formula line 21

   Also declared: ComparatorChallenges/PerfectCompleteness.lean:38 (same declaration text).

6. def OAI.PerfectCompleteness.BinaryFormula.Formula.Satisfiable line 24

   Also declared: ComparatorChallenges/PerfectCompleteness.lean:41 (same declaration text).

7. def OAI.PerfectCompleteness.BinaryEncoding.bitsValue line 33

   Also declared: ComparatorChallenges/PerfectCompleteness.lean:50 (same declaration text).

8. def OAI.PerfectCompleteness.BinaryEncoding.parseFrame line 37

   Also declared: ComparatorChallenges/PerfectCompleteness.lean:54 (same declaration text).

9. def OAI.PerfectCompleteness.BinaryEncoding.parseName line 44

   Also declared: ComparatorChallenges/PerfectCompleteness.lean:61 (same declaration text).

10. def OAI.PerfectCompleteness.BinaryEncoding.parseLiteral line 49

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:66 (same declaration text).

11. def OAI.PerfectCompleteness.BinaryEncoding.parseClause line 55

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:72 (same declaration text).

12. def OAI.PerfectCompleteness.BinaryEncoding.parseClauses line 61

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:78 (same declaration text).

13. def OAI.PerfectCompleteness.BinaryEncoding.decodeFormula line 70

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:87 (same declaration text).

14. def OAI.PerfectCompleteness.BinaryLanguage.language line 78

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:95 (same declaration text).

15. structure OAI.PerfectCompleteness.ProjectionTable line 85

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:102 (same declaration text).

16. structure OAI.PerfectCompleteness.Edge line 90

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:107 (same declaration text).

17. structure OAI.PerfectCompleteness.Instance line 95

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:112 (same declaration text).

18. abbrev OAI.PerfectCompleteness.Labeling line 101

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:118 (same declaration text).

19. def OAI.PerfectCompleteness.Edge.satisfied line 104

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:121 (same declaration text).

20. def OAI.PerfectCompleteness.countSatisfied line 108

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:125 (same declaration text).

21. def OAI.PerfectCompleteness.Instance.maxSatisfied line 117

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:134 (same declaration text).

22. def OAI.PerfectCompleteness.Instance.value line 120

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:137 (same declaration text).

23. def OAI.PerfectCompleteness.Encoding.tableWords line 129

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:146 (same declaration text).

24. def OAI.PerfectCompleteness.Encoding.edgeWords line 132

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:149 (same declaration text).

25. def OAI.PerfectCompleteness.Encoding.gameWords line 135

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:152 (same declaration text).

26. def OAI.PerfectCompleteness.Encoding.gameBits line 139

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:156 (same declaration text).

27. structure OAI.PerfectCompleteness.BinaryGapReduction line 148

    Also declared: ComparatorChallenges/PerfectCompleteness.lean:165 (same declaration text).