OAI/Combinatorics/EditApproximation/Queries/
724 declarations, 0 contain sorry, 0 declared as axioms; 163 files
Files
- QueryActionInputCost.lean 4 declarations
- QueryActionInputs.lean 3 declarations
- QueryActiveCost.lean 6 declarations
- QueryBandGather.lean 2 declarations
- QueryBandInputCost.lean 4 declarations
- QueryBoundedActiveCost.lean 2 declarations
- QueryBoundedBody.lean 4 declarations
- QueryBoundedSemanticCost.lean 2 declarations
- QueryBoundedWork.lean 13 declarations
- QueryBufferSpace.lean 22 declarations
- QueryBufferedInputBounds.lean 2 declarations
- QueryBufferedSharedCost.lean 2 declarations
- QueryBufferedSourceBounds.lean 3 declarations
- QueryCallbackPolynomial.lean 15 declarations
- QueryCellCost.lean 4 declarations
- QueryCellStateCost.lean 3 declarations
- QueryChargedFamily.lean 4 declarations
- QueryChargedFamilySpace.lean 2 declarations
- QueryChargedSeed.lean 4 declarations
- QueryChargedSeedCost.lean 4 declarations
- QueryChargedSeedSpace.lean 3 declarations
- QueryChargedTableCost.lean 2 declarations
- QueryChargedTableWidth.lean 1 declarations
- QueryChargedWarmup.lean 2 declarations
- QueryChargedWarmupCost.lean 2 declarations
- QueryChargedWarmupSpace.lean 2 declarations
- QueryCodeBounds.lean 7 declarations
- QueryContinuationSpace.lean 5 declarations
- QueryCoordinateSpace.lean 5 declarations
- QueryDataBuffers.lean 6 declarations
- QueryDependencyCosts.lean 4 declarations
- QueryDependencyExpansion.lean 13 declarations
- QueryEarlierInputs.lean 5 declarations
- QueryEligibilitySpace.lean 3 declarations
- QueryFamilyActive.lean 5 declarations
- QueryFamilyMemo.lean 3 declarations
- QueryFamilyMemoSpace.lean 2 declarations
- QueryFamilyNormalize.lean 5 declarations
- QueryFamilyReaderBounds.lean 3 declarations
- QueryFamilyRefinement.lean 2 declarations
- QueryFamilyRefinementCost.lean 1 declarations
- QueryFamilyScalarReads.lean 5 declarations
- QueryFamilySourceCosts.lean 3 declarations
- QueryFamilySpace.lean 3 declarations
- QueryFinishCost.lean 3 declarations
- QueryGapStateCost.lean 4 declarations
- QueryGatherPolynomial.lean 75 declarations
- QueryGatherSpace.lean 7 declarations
- QueryGridCost.lean 4 declarations
- QueryGroupInputCost.lean 3 declarations
- QueryGroupInputs.lean 2 declarations
- QueryGroupKeyCost.lean 2 declarations
- QueryGroupLabelCost.lean 2 declarations
- QueryGroupSampleCost.lean 3 declarations
- QueryGroupSamples.lean 4 declarations
- QueryGroupSetupSpace.lean 4 declarations
- QueryGroupSourceCost.lean 4 declarations
- QueryGroupSourceSpace.lean 3 declarations
- QueryGroupSources.lean 2 declarations
- QueryHistoryBounds.lean 4 declarations
- QueryHistoryBufferCost.lean 3 declarations
- QueryHistoryCodeBounds.lean 5 declarations
- QueryHistoryInputCost.lean 7 declarations
- QueryHistoryInputs.lean 3 declarations
- QueryHistorySemantic.lean 2 declarations
- QueryHistorySpace.lean 4 declarations
- QueryIndexedSlice.lean 4 declarations
- QueryIndexedSpace.lean 3 declarations
- QueryInitialCenterCost.lean 3 declarations
- QueryInitialConeCenters.lean 3 declarations
- QueryInitialConeProgram.lean 3 declarations
- QueryInitialConeSpace.lean 3 declarations
- QueryInitialGather.lean 2 declarations
- QueryInitialProgramCost.lean 7 declarations
- QueryInitialSpace.lean 4 declarations
- QueryInitialSupport.lean 5 declarations
- QueryInitialSupportCost.lean 3 declarations
- QueryInitialSupportSpace.lean 2 declarations
- QueryInitialWarmupPolynomial.lean 29 declarations
- QueryInputCodes.lean 7 declarations
- QueryInputSpace.lean 8 declarations
- QueryListWork.lean 8 declarations
- QueryLocalBand.lean 2 declarations
- QueryLocalBandCost.lean 4 declarations
- QueryLocalBuffers.lean 3 declarations
- QueryLocalFinishCost.lean 2 declarations
- QueryLocalProgram.lean 2 declarations
- QueryLocalProgramCost.lean 3 declarations
- QueryLocalProgramSpace.lean 3 declarations
- QueryLocalRefinement.lean 2 declarations
- QueryLocalRefinementCost.lean 3 declarations
- QueryLocalRepresentativeSpace.lean 3 declarations
- QueryLocalSelectorSpace.lean 4 declarations
- QueryLocalSelectors.lean 4 declarations
- QueryLocalSources.lean 2 declarations
- QueryLocalSourcesCost.lean 2 declarations
- QueryMeanRead.lean 4 declarations
- QueryNumericInteger.lean 1 declarations
- QueryOnlineKeyCost.lean 2 declarations
- QueryOnlineRangeCost.lean 2 declarations
- QueryOnlineRangeSpace.lean 2 declarations
- QueryOnlineSources.lean 2 declarations
- QueryOrderBounds.lean 4 declarations
- QueryOrderedInputs.lean 5 declarations
- QueryOrderedSpace.lean 5 declarations
- QueryOuterGatherCost.lean 5 declarations
- QueryPhysicalInitial.lean 1 declarations
- QueryPhysicalInitialCost.lean 4 declarations
- QueryPhysicalProgram.lean 2 declarations
- QueryPhysicalProgramCost.lean 2 declarations
- QueryPhysicalProgramWidth.lean 2 declarations
- QueryPhysicalReaderBounds.lean 8 declarations
- QueryPhysicalReaderSpace.lean 5 declarations
- QueryPhysicalReaders.lean 6 declarations
- QueryPhysicalScalarCosts.lean 3 declarations
- QueryPhysicalScalarGuards.lean 3 declarations
- QueryPhysicalScalarReads.lean 4 declarations
- QueryPhysicalSourceCosts.lean 4 declarations
- QueryProgramPolynomial.lean 4 declarations
- QueryProgramWidth.lean 4 declarations
- QueryRawCenterCost.lean 5 declarations
- QueryRawWidthPolynomial.lean 14 declarations
- QueryReadBoundIrrelevance.lean 2 declarations
- QueryRefinementFinish.lean 2 declarations
- QueryRefinementGather.lean 2 declarations
- QueryRefinementSpace.lean 1 declarations
- QueryRefinementWorkBound.lean 3 declarations
- QueryRepresentativeCost.lean 3 declarations
- QueryRepresentativeScales.lean 2 declarations
- QueryRepresentatives.lean 3 declarations
- QueryRestrictionCost.lean 6 declarations
- QueryRestrictionSpace.lean 3 declarations
- QueryRoundedCounts.lean 1 declarations
- QueryRoundedStateCost.lean 7 declarations
- QueryScalarDispatch.lean 5 declarations
- QueryScalarGuardSpace.lean 5 declarations
- QueryScalarReadSpace.lean 10 declarations
- QueryScopedOrder.lean 6 declarations
- QueryScopedSourceCost.lean 6 declarations
- QuerySelectorCost.lean 2 declarations
- QuerySelectorGeometry.lean 2 declarations
- QuerySemanticRestriction.lean 2 declarations
- QuerySharedCellCost.lean 4 declarations
- QuerySharedGeometry.lean 2 declarations
- QuerySharedGeometrySpace.lean 2 declarations
- QuerySharedInputCost.lean 4 declarations
- QuerySharedInputs.lean 3 declarations
- QuerySharedSpace.lean 3 declarations
- QuerySourceBufferBounds.lean 5 declarations
- QuerySourceBuffers.lean 4 declarations
- QuerySourceGatherCost.lean 5 declarations
- QuerySourceKeyWidths.lean 3 declarations
- QuerySourceWidths.lean 6 declarations
- QuerySourceWork.lean 2 declarations
- QueryTableSemanticCost.lean 2 declarations
- QueryWarmupBuffers.lean 4 declarations
- QueryWarmupProgram.lean 1 declarations
- QueryWarmupProgramCost.lean 8 declarations
- QueryWarmupSpace.lean 2 declarations
- QueryWarmupUniformCost.lean 3 declarations
- QueryWarmupWidth.lean 2 declarations
- QueryWeightedWork.lean 2 declarations
- QueryWideBounds.lean 1 declarations