<> <> <<>> <> DIRECTORY PETypes, ViewerClasses USING [Viewer]; PEConstraints: CEDAR DEFINITIONS = BEGIN OPEN PETypes; Constrain: PROCEDURE [pathViewer: ViewerClasses.Viewer, vertex: VertexNode, segment: SegmentNode, newPosition: Point]; <> ContinuousAt: PROCEDURE [vertex: VertexNode, segment: SegmentNode] RETURNS [continuous: BOOLEAN]; <> IsFixed: PROCEDURE [vertex: VertexNode] RETURNS [isFixed: BOOLEAN]; <> END.