Object Info

associative_op is defined in /home/faculty/engelen/Ctadel/classes.pl:307
associative_op --> operator --> object
associative_op <-- abelian_op         <-- meet_op           <-- meet_op_for(_G31395)
                                                                _G31395 ! _G31396
                                                                _G31395 or _G31396
                                                                _G31395 and _G31396
                                                                _G31395 union _G31396
                                                                _G31395 intersection _G31396
                                                                _G31395 max _G31396
                                                                _G31395 min _G31396
                                          _G31294 & _G31295
                                          _G31294 eqv _G31295
                                          _G31294 xor _G31295
                                          _G31294 + _G31295
                                          _G31294 * _G31295
                                          _G31294 # _G31295
                   _G31175; _G31176
                   _G31175 \\ _G31176
                   _G31175 if _G31176
                   _G31175 ? _G31176
                   _G31175 by _G31176
                   _G31175 with _G31176
                   _G31175 ++ _G31176
                   _G31175 &* _G31176
------------------ Methods inherited from class object:
associative_op can get_saved(_G31587, _G31588)
                   restore(_G31587)
                   freeze(_G31587, _G31588)
                   save(_G31587, _G31588)
                   get_properties(_G31587, _G31588)
                   get_superobjects(_G31587, _G31588)
                   get_subobjects(_G31587, _G31588)
                   get_parents(_G31587, _G31588)
                   get_children(_G31587, _G31588)
                   get_instances(_G31587, _G31588)
                   create(_G31587, _G31588, _G31589)
                   create(_G31587, _G31588)
                   get_dependencies(_G31587, _G31588)