OAI/Computability/Scheduling/Model.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.ThreeMachine.Instance line 7

    Also declared: ComparatorChallenges/ThreeMachine.lean:7 (same declaration text).

  2. def OAI.ThreeMachine.Instance.edge line 10

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

  3. def OAI.ThreeMachine.Instance.acyclic line 13

    Also declared: ComparatorChallenges/ThreeMachine.lean:13 (same declaration text).

  4. def OAI.ThreeMachine.Feasible line 16

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

  5. def OAI.ThreeMachine.encodeNat line 21

    Also declared: ComparatorChallenges/ThreeMachine.lean:21 (same declaration text).

  6. def OAI.ThreeMachine.encodeList line 25

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

  7. def OAI.ThreeMachine.encodeInput line 28

    Also declared: ComparatorChallenges/ThreeMachine.lean:28 (same declaration text).

  8. def OAI.ThreeMachine.encodeAnswer line 36

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

  9. def OAI.ThreeMachine.slots line 40

    Also declared: ComparatorChallenges/ThreeMachine.lean:40 (same declaration text).

  10. def OAI.ThreeMachine.CorrectOutput line 42

    Also declared: ComparatorChallenges/ThreeMachine.lean:42 (same declaration text).

  11. structure OAI.ThreeMachine.Machine line 52

    Also declared: ComparatorChallenges/ThreeMachine.lean:52 (same declaration text).

  12. structure OAI.ThreeMachine.Configuration line 56

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

  13. def OAI.ThreeMachine.bitSymbol line 60

    Also declared: ComparatorChallenges/ThreeMachine.lean:60 (same declaration text).

  14. def OAI.ThreeMachine.Machine.step line 63

    Also declared: ComparatorChallenges/ThreeMachine.lean:63 (same declaration text).

  15. def OAI.ThreeMachine.Machine.initial line 72

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

  16. def OAI.ThreeMachine.Machine.run line 77

    Also declared: ComparatorChallenges/ThreeMachine.lean:77 (same declaration text).

  17. def OAI.ThreeMachine.Machine.Produces line 81

    Also declared: ComparatorChallenges/ThreeMachine.lean:81 (same declaration text).

  18. def OAI.ThreeMachine.ReleaseTheorem line 86

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