OAI/Computability/Scheduling/Padding.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ThreeMachine.Instance.order line 9
  2. theorem OAI.ThreeMachine.Feasible.order line 11
  3. def OAI.ThreeMachine.paddedOrder line 17
  4. theorem OAI.ThreeMachine.paddedOrder_trans line 20
  5. theorem OAI.ThreeMachine.paddedOrder_irrefl line 28
  6. theorem OAI.ThreeMachine.paddedOrder_castLE line 34
  7. theorem OAI.ThreeMachine.Structure.Layout.capacity line 46
  8. theorem OAI.ThreeMachine.feasible_iff_padded_layout line 60
  9. theorem OAI.ThreeMachine.Feasible.size_bound line 102