OAI/Computability/Scheduling/

Files

• BinaryCosts.lean 22 declarations
• CostBounds.lean 64 declarations
• CutoffSimplification.lean 30 declarations
• DynamicProgram.lean 61 declarations
• EffectiveFamily.lean 23 declarations
• EncodingCosts.lean 16 declarations
• FamilyCosts.lean 31 declarations
• FamilyRoutines.lean 32 declarations
• FiniteRoutines.lean 65 declarations
• FrameInvariants.lean 33 declarations
• GlobalBoundaries.lean 84 declarations
• HierarchyCompleteness.lean 12 declarations
• HierarchySoundness.lean 35 declarations
• ListParserCosts.lean 12 declarations
• ListRoutines.lean 20 declarations
• MachineBridge.lean 39 declarations
• Main.lean 8 declarations
• MatrixCosts.lean 18 declarations
• Model.lean 18 declarations
• NodeCertificates.lean 17 declarations
• OptimumCosts.lean 15 declarations
• OutputCosts.lean 14 declarations
• Padding.lean 9 declarations
• Parser.lean 60 declarations
• Polynomial.lean 15 declarations
• PolynomialLists.lean 26 declarations
• PolynomialLoops.lean 31 declarations
• PolynomialTactic.lean 8 declarations
• PriorityUpdates.lean 37 declarations
• ProgramRoutines.lean 76 declarations
• RankCosts.lean 35 declarations
• ReaderCosts.lean 11 declarations
• Realizers.lean 78 declarations
• RegisterMachine.lean 52 declarations
• RequestBounds.lean 37 declarations
• RequestCosts.lean 19 declarations
• RoutineCompiler.lean 44 declarations
• RunCertificates.lean 33 declarations
• ScheduleBounds.lean 44 declarations
• ScheduleRoutines.lean 52 declarations
• SchedulingAlgorithm.lean 38 declarations
• SchedulingCosts.lean 17 declarations
• SeparatorWalk.lean 44 declarations
• SolverCosts.lean 21 declarations
• SplitPaths.lean 38 declarations
• StackMachine.lean 81 declarations
• StateBounds.lean 39 declarations
• StateCosts.lean 59 declarations
• TableCosts.lean 18 declarations
• TransitionCosts.lean 63 declarations
• TreeData.lean 35 declarations
• UniformRoutines.lean 84 declarations
• VolumeBounds.lean 43 declarations