37 . BOXLIST, BOXLIST_SIZE)
67#include "implicit_f.inc"
75 INTEGER JCLAUSE,BOXLIST_SIZE,IDS_MAX
77 LOGICAL :: IS_AVAILABLE
79 TYPE (BOX_) ,
DIMENSION(NBBOX) :: IBOX
95 IF (ids == idbox)
THEN
97 boxlist_size = boxlist_size + 1
98 boxlist(boxlist_size) = ib
subroutine read_clause_box(ibox, is_available, lsubmodel, jclause, ids_max, boxlist, boxlist_size)