Section Header

    + name := LIMIT_X;

    - comment := "Sub structure for AREA.";

    - bibliography:= "http://IsaacOS.com";

    - author := "Benoit Sonntag (bsonntag@loria.fr), Jerome Boutet (boutet@loria.fr)";

    - version := 1;

Section Inherit

    - parent_object:OBJECT :=

Section Public

    + value:INTEGER;

    + plan:PLAN;

    + next:LIMIT_X;

    + prev:LIMIT_X;

Section Public

    - make x:INTEGER plan p:PLAN <-

    - create x:INTEGER plan p:PLAN :LIMIT_X <-

    - append old_root:LIMIT_X :LIMIT_X <-

    - remove old_root:LIMIT_X :LIMIT_X <-

    - set_value v:INTEGER <-

    - set_next new:LIMIT_X <-

    - set_prev new:LIMIT_X <-