Object Info

left-associative infix operator ++ has precedence 450

_G439 ++ _G440 is defined in /home/faculty/engelen/Ctadel/linalg.s:37
_G439 ++ _G440   --> associative_op --> operator --> object
------------------------------------ Properties:
[{_G43132}] ++ [{_G43137}] has       body([[{_G43132}, {_G43137}]])
[{_G43132}] ++ [[{_G43140} | _G43138]] has body([[{_G43132}, {_G43140} | _G43138]])
[{_G43132} | _G43130] ++ [{_G43137} | _G43135] has body([ [ {_G43132}, {_G43137} ]
                                          | _G43130 ++ _G43135 ])
[{_G43132} | _G43130] ++ [[{_G43140} | _G43138] | _G43135] has body([ [ {_G43132}, {_G43140} | _G43138 ]
                                          | _G43130 ++ _G43135 ])
[[{_G43135} | _G43133]] ++ [[{_G43143} | _G43141]] has body([ ([{_G43135} | _G43133] //
                                             [{_G43143} | _G43141]
                                            ) ])
[[{_G43135} | _G43133] | _G43130] ++ [[{_G43143} | _G43141] | _G43138] has body([ ([{_G43135} | _G43133] //
                                             [{_G43143} | _G43141]
                                            )
                                          | _G43130 ++ _G43138 ])
------------------------------------ Methods inherited from class object:
_G439 ++ _G440 can                   get_saved(_G43455, _G43456)
                                     restore(_G43455)
                                     freeze(_G43455, _G43456)
                                     save(_G43455, _G43456)
                                     get_properties(_G43455, _G43456)
                                     get_superobjects(_G43455, _G43456)
                                     get_subobjects(_G43455, _G43456)
                                     get_parents(_G43455, _G43456)
                                     get_children(_G43455, _G43456)
                                     get_instances(_G43455, _G43456)
                                     create(_G43455, _G43456, _G43457)
                                     create(_G43455, _G43456)
                                     get_dependencies(_G43455, _G43456)