INTERFACE Tools;

(*
   This interface contain "tools" procedures for tests and others util
   procedures. Created by L. P. Lozada (see the copyright and authorship
   futher down).
*)

IMPORT Octf, Triangulation;

FROM Octf IMPORT Pair;

TYPE
  Coords = Triangulation.Coords;

PROCEDURE PrtDFR(a: Pair);
 (* Print the Degree Face Ring of pair "a". *)

PROCEDURE PrtDER(a: Pair);
  (* Print the Degree Edge Ring of pair "a". *)

PROCEDURE PrtDOV(a: Pair);
  (* Print the Degree of the vertex that is origin of pair "a". *)
(*
PROCEDURE PrtDFE(a: Pair);
  (* Print the Degree Face Edge Ring of "a". *)
*)
PROCEDURE PrtEnext(a: Pair);

PROCEDURE PrtFnext(a: Pair);

PROCEDURE PrtOrg(a: Pair);

PROCEDURE PrtFaceNum(a: Pair);

PROCEDURE PrtEdgeNum(a: Pair);

PROCEDURE PrtPnegNum(a: Pair);

PROCEDURE PrtPposNum(a: Pair);

PROCEDURE PrtNextPneg(a: Pair);
  (* Print the pairs facetedges (12) with the same Negative Polyhedron, i.e
     the pairs belong to the same tetrahedral cell iff exits. *)

PROCEDURE PrtNextPpos(a: Pair);
  (* Print the pairs facetedges (12) with the same Positive Polyhedron, i.e
     the pairs belong to the same tetrahedral cell iff exits. *)

END Tools.


(**************************************************************************)
(*                                                                        *)
(* Copyright (C) 1999     Universidade Estadual de Campinas (UNICAMP)     *)
(*                                                                        *)
(* Authors:                                                               *)
(*   L. P. Lozada  & J. Stolfi   - UNICAMP <lozada@dcc.unicamp.br>        *)
(*                                                                        *)
(* This file can be freely used, distributed, and modified, provided that *)
(* this copyright and authorship notice is included in every copy or      *)
(* derived version.                                                       *)
(*                                                                        *)
(* DISCLAIMER: This software is offered ``as is'', without any guarantee  *)
(*   as to fitness for any particular purpose.  Neither the copyright     *)
(*   holder nor the authors or their employers can be held responsible    *)
(*   for any damages that may result from its use.                        *)
(*                                                                        *)
(**************************************************************************)