INTERFACE SPOverlapTable;

(* A table that shows the overlapping of triangles of two triangulations *)

IMPORT Wr, Rd;

TYPE
  T = ARRAY OF REF ARRAY OF CARDINAL;
    (*
      An SPOverlapTable.T "tb" lists the pairs of overlapping
      triangles between two triangulations "S" and "T".
      Specifically, the triangle "i" of "S" 
      overlaps triangles "tb[i][0], tb[i][1], ..."
      of "T". *)
      
PROCEDURE Write(wr: Wr.T; READONLY tb: T);
  (*
    Writes "tb" to "wr", in a format that can be read back. *)

PROCEDURE Read(rd: Rd.T): REF T;
  (*
    Reads from "rd" a table that was written by "Write" above. *)

END SPOverlapTable.