Automatic generation produced by ISE Eiffel
deferred class EV_CHECKABLE_TREE_I Ancestors EV_CHECKABLE_TREE_ACTION_SEQUENCES_I* EV_TREE_ACTION_SEQUENCES_I* EV_TREE_I* Descendants EV_CHECKABLE_TREE_IMP Clients EV_CHECKABLE_TREE EV_CHECKABLE_TREE_I* Suppliers ARRAYED_LIST [G] BOOLEAN EV_CHECKABLE_TREE_I* INTEGER_32 -- Generated by Eiffel Studio --
For more details: eiffel.org