<> <> <> <<>> DIRECTORY DrotBool; DrotCover: CEDAR DEFINITIONS ~ BEGIN OPEN DrotBool; <> RecurseCSimilar: PROC [cv1, cv2: Node] RETURNS [BOOL]; CopyCTree: PROC [tree: Dag] RETURNS [ct: Dag]; MakeNewCTree: PROC [tree: Treeset, vertex: Dag]; <> MakeNewCTreeSet: PROC RETURNS [Treeset]; RemoveTree: PROC [ctcoll: Treeset, tree: Dag]; <> Replicate: PROC [v: Node, nt: Dag, special: Node, count: INT] RETURNS [top: Node]; <> <> TwoifyAllTrees: PROC [ctcoll: Treeset]; <> ProduceTotalCovering: PROC [tree: Dag, ctcoll: Treeset]; END.