Object Info

left-associative infix operator do has precedence 990

_G365 do _G366 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:115
_G365 do _G366   --> statement_op      --> constant --> object
                     self_commuting_op --> commuting_op --> operator --> object
-------------------- Properties:
_G365 do _G366 has   type(([statement, domain(index)] -> statement))
                     type(([statement, iteration(index)] -> statement))
-------------------- Methods:
_G365 do _G366 can   get_latex(_G35696, ["\begin{array}[t]{@{}l}"], [ (_G35718 do _G35719 latex
                                                                       [ 
"{\bf do~}"
                                                                       , _G35719
                                                                       , 
"\\\quad"
                                                                       , $ESCAPE(_G35718) ]
                                                                      ) ], [
"\end{array}"])
-------------------- Methods inherited from class object:
_G365 do _G366 can   get_saved(_G36012, _G36013)
                     restore(_G36012)
                     freeze(_G36012, _G36013)
                     save(_G36012, _G36013)
                     get_properties(_G36012, _G36013)
                     get_superobjects(_G36012, _G36013)
                     get_subobjects(_G36012, _G36013)
                     get_parents(_G36012, _G36013)
                     get_children(_G36012, _G36013)
                     get_instances(_G36012, _G36013)
                     create(_G36012, _G36013, _G36014)
                     create(_G36012, _G36013)
                     get_dependencies(_G36012, _G36013)
-------------------- Methods inherited from class self_commuting_op:
_G365 do _G366 can   commute_over(_G36086, _G36087)