type ReshapeModel
import bendtorch-core@0.1.0.0/src/tensor/transforms.bend as Transformsimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
453type ReshapeModel<-input: Shape.Shape, -original: Core.Tensor<input>, -dimensions: List<&2, U32>> is Data:
454 ReshapeModel{-meaning: ReshapeMeaning(input, original, dimensions, reshape(input, original, dimensions))}
Uses (6)
Used by (4)
- bendtorch-core@0.1.0.0/src/tensor/transform_LAWS:reshape_result_interpretation
- bendtorch-core@0.1.0.0/src/tensor/transform_PROOF:restore_dynamic_model
- bendtorch-core@0.1.0.0/src/tensor/transform_LAWS:reshape_inverse_observations
- bendtorch-core@0.1.0.0/src/tensor/transform_LAWS:reshape_inverse_valid_success