OAI/Optimization/Tropical/TruffetModel.lean

GitHub source file

30 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.TruffetV4Counterexample.Coeff line 8

   Also declared: ComparatorChallenges/TruffetCounterexample.lean:8 (same declaration text).

2. abbrev OAI.TruffetV4Counterexample.Form line 10

   Also declared: ComparatorChallenges/TruffetCounterexample.lean:10 (same declaration text).

3. abbrev OAI.TruffetV4Counterexample.Var line 12

   Also declared: ComparatorChallenges/TruffetCounterexample.lean:12 (same declaration text).

4. abbrev OAI.TruffetV4Counterexample.RowIndex line 14

   Also declared: ComparatorChallenges/TruffetCounterexample.lean:14 (same declaration text).

5. def OAI.TruffetV4Counterexample.column line 16

   Also declared: ComparatorChallenges/TruffetCounterexample.lean:16 (same declaration text).

6. def OAI.TruffetV4Counterexample.nullForm line 18

   Also declared: ComparatorChallenges/TruffetCounterexample.lean:18 (same declaration text).

7. structure OAI.TruffetV4Counterexample.Row line 20

   Also declared: ComparatorChallenges/TruffetCounterexample.lean:20 (same declaration text).

8. structure OAI.TruffetV4Counterexample.State line 24

   Also declared: ComparatorChallenges/TruffetCounterexample.lean:24 (same declaration text).

9. def OAI.TruffetV4Counterexample.wellFormed line 29

   Also declared: ComparatorChallenges/TruffetCounterexample.lean:29 (same declaration text).

10. def OAI.TruffetV4Counterexample.eval line 33

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

11. def OAI.TruffetV4Counterexample.feasible line 36

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:36 (same declaration text).

12. def OAI.TruffetV4Counterexample.lower line 39

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:39 (same declaration text).

13. def OAI.TruffetV4Counterexample.upper line 43

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:43 (same declaration text).

14. def OAI.TruffetV4Counterexample.dominating line 47

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:47 (same declaration text).

15. def OAI.TruffetV4Counterexample.eligible line 50

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

16. def OAI.TruffetV4Counterexample.bounded line 53

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:53 (same declaration text).

17. def OAI.TruffetV4Counterexample.stop line 56

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:56 (same declaration text).

18. def OAI.TruffetV4Counterexample.switch line 58

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:58 (same declaration text).

19. def OAI.TruffetV4Counterexample.failure line 64

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:64 (same declaration text).

20. def OAI.TruffetV4Counterexample.lowerForm line 69

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:69 (same declaration text).

21. def OAI.TruffetV4Counterexample.substitute line 73

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:73 (same declaration text).

22. def OAI.TruffetV4Counterexample.cleanup line 76

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:76 (same declaration text).

23. def OAI.TruffetV4Counterexample.advance line 80

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:80 (same declaration text).

24. def OAI.TruffetV4Counterexample.ForcedSingletonStep line 86

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:86 (same declaration text).

25. def OAI.TruffetV4Counterexample.initial line 93

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:93 (same declaration text).

26. def OAI.TruffetV4Counterexample.middle line 99

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:99 (same declaration text).

27. def OAI.TruffetV4Counterexample.finalState line 105

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:105 (same declaration text).

28. def OAI.TruffetV4Counterexample.crossRowRestriction line 110

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:110 (same declaration text).

29. def OAI.TruffetV4Counterexample.output line 114

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:114 (same declaration text).

30. def OAI.TruffetV4Counterexample.better line 116

    Also declared: ComparatorChallenges/TruffetCounterexample.lean:116 (same declaration text).