src/tensor/read_write_contract_PROOF.bend

bendtorch-core@0.1.0.0 · 22 lines · 0 definitions

1import Base
2import bendtorch-core@0.1.0.0/src/tensor/read_write_contract_LAWS.bend as Laws
3import bendtorch-core@0.1.0.0/src/tensor/read_contract.bend as Reads
4import bendtorch-core@0.1.0.0/src/tensor/write_contract.bend as Writes
5
6def Laws.read_inside(shape, fill, index, inside):
7  Reads.read_inside(shape, fill, index, inside)
8
9def Laws.read_outside(shape, fill, index, outside):
10  Reads.read_outside(shape, fill, index, outside)
11
12def Laws.write_inside(shape, fill, index, value, inside):
13  Writes.write_inside(shape, fill, index, value, inside)
14
15def Laws.write_outside(shape, fill, index, value, outside):
16  Writes.write_outside(shape, fill, index, value, outside)
17
18def Laws.coordinate_inside(shape, fill, coordinates, index, value, located, inside):
19  Writes.coordinate_inside(shape, fill, coordinates, index, value, located, inside)
20
21def Laws.dynamic_read_inside(shape, fill, index, inside):
22  Reads.dynamic_read_inside(shape, fill, index, inside)