40 typedef Integer Offset;
41 typedef std::pair<Offset, Offset> Renumbering;
42 typedef std::pair<Int32, Int32> Key;
51 virtual void associate(Integer i, Integer j, Offset offset) = 0;
57 virtual std::optional<Offset>
find(Integer i, Integer j) = 0;
64 virtual Offset
create(Integer i, Integer j, Offset& tentative_offset) = 0;