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 <-