OAI/Analysis/MatrixSigning/Realization/
1063 declarations, 0 contain sorry, 0 declared as axioms; 61 files
Files
- ArithmeticRoutine.lean 9 declarations
- ArrayRealization.lean 13 declarations
- BinaryNaturalRealization.lean 3 declarations
- CleanRoutine.lean 15 declarations
- CompareRoutine.lean 11 declarations
- ConditionalRoutine.lean 15 declarations
- CoordinateRealization.lean 16 declarations
- CurvatureRealization.lean 32 declarations
- DenseInputArrays.lean 19 declarations
- DenseInputMachine.lean 25 declarations
- DependentBranchRealization.lean 1 declarations
- DependentRealization.lean 4 declarations
- EndpointRealization.lean 16 declarations
- FaceArrayRealization.lean 13 declarations
- FaceChoiceRealization.lean 21 declarations
- FaceQueryRealization.lean 34 declarations
- FaceRunRealization.lean 15 declarations
- FilterRealization.lean 1 declarations
- FixedSubroutineBridge.lean 4 declarations
- FloorCleanRoutine.lean 6 declarations
- FoldRoutine.lean 35 declarations
- FramedMapRoutine.lean 37 declarations
- IterateRoutine.lean 17 declarations
- LevelPencilRealization.lean 9 declarations
- ListRealization.lean 12 declarations
- MachineAdapter.lean 12 declarations
- MatrixStructureRealization.lean 17 declarations
- NaturalRealization.lean 9 declarations
- OptimizeRealization.lean 33 declarations
- OriginalFieldsRealization.lean 22 declarations
- OriginalMachine.lean 7 declarations
- OriginalOutputRoutine.lean 18 declarations
- OriginalParserRoutine.lean 24 declarations
- OriginalSignRealization.lean 21 declarations
- PSDCleanRoutine.lean 17 declarations
- PairRoutine.lean 32 declarations
- PencilArrayRealization.lean 13 declarations
- PencilCompileRealization.lean 16 declarations
- PotentialRealization.lean 22 declarations
- RatFieldsRealization.lean 12 declarations
- RawMatrixMachine.lean 30 declarations
- RawRationalArrayMachine.lean 31 declarations
- RawRationalBounds.lean 9 declarations
- RawRationalMachine.lean 30 declarations
- Realization.lean 14 declarations
- RootRealization.lean 8 declarations
- RoundedStepRealization.lean 20 declarations
- RoutineLength.lean 4 declarations
- ScalarRealization.lean 20 declarations
- ScheduleRealization.lean 26 declarations
- SearchRealization.lean 15 declarations
- SelectionRealization.lean 12 declarations
- StencilRealization.lean 22 declarations
- StoredPSDRealization.lean 9 declarations
- ValueDataRealization.lean 29 declarations
- ValueEvalRealization.lean 36 declarations
- ValueObjectiveRealization.lean 12 declarations
- ValueQueryRealization.lean 15 declarations
- VarianceRealization.lean 24 declarations
- VectorRealization.lean 32 declarations
- WitnessRealization.lean 7 declarations