DataMuseum.dk

top - download

    Length: 1168 (0x490)
    Types: TextFile
    Names: »V«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

generic
    type Element is limited private;  
    with function "<" (Left, Right : Element) return Boolean is <>;
    with function "=" (Left, Right : Element) return Boolean is <>;


package Binary_Tree is

    type Object is limited private;

    Empty_Tree : constant Object;

    procedure Initialize (Tree : in out Object);

    procedure Duplicate (Source_Tree : in Object;
                         Destination_Tree : in out Object);
    function Build (The_Element : Element) return Object;
    function Get_Under_Left_Tree (Tree : Object) return Object;
    function Get_Under_Right_Tree (Tree : Object) return Object;

    procedure Insert (Tree : in out Object; The_Element : in Element);

    function Search (Tree : Object; The_Element : Element) return Boolean;

    function Is_Empty (Tree : Object) return Boolean;
    function Get_Value (Tree : Object) return Element;



private

    type Node;
    type Object is access Node;

    type Node is
        record

            Value : Element;
            Under_Left_Tree : Object;
            Under_Right_Tree : Object;

        end record;

    Empty_Tree : constant Object := (null);

end Binary_Tree;