Object Info

repeat(_G45, _G46, _G47, _G48, _G49, _G50, _G51, _G52) is defined in /home/faculty/engelen/Ctadel/ctadel.pl:128
repeat(_G45, _G46, _G47, _G48, _G49, _G50, _G51, _G52)         --> statement_op --> constant --> object
------------------------------------ Properties:
repeat(_G45, _G46, _G47, _G48, _G49, _G50, _G51, _G52) has type(([ statement
                                           , boolean
                                           , statement
                                           , boolean
                                           , statement
                                           , statement
                                           , domain(index)
                                           , statement ] ->
                                           statement
                                          ))
                                     type(([ statement
                                           , boolean
                                           , statement
                                           , boolean
                                           , statement
                                           , statement
                                           , iteration(index)
                                           , statement ] ->
                                           statement
                                          ))
------------------------------------ Methods inherited from class object:
repeat(_G45, _G46, _G47, _G48, _G49, _G50, _G51, _G52) can get_saved(_G9889, _G9890)
                                     restore(_G9889)
                                     freeze(_G9889, _G9890)
                                     save(_G9889, _G9890)
                                     get_properties(_G9889, _G9890)
                                     get_superobjects(_G9889, _G9890)
                                     get_subobjects(_G9889, _G9890)
                                     get_parents(_G9889, _G9890)
                                     get_children(_G9889, _G9890)
                                     get_instances(_G9889, _G9890)
                                     create(_G9889, _G9890, _G9891)
                                     create(_G9889, _G9890)
                                     get_dependencies(_G9889, _G9890)