Object Info

commutative_op is defined in /home/faculty/engelen/Ctadel/classes.pl:309
commutative_op --> operator --> object
commutative_op <-- abelian_op        <-- meet_op           <-- meet_op_for(_G43118)
                                                               _G43118 ! _G43119
                                                               _G43118 or _G43119
                                                               _G43118 and _G43119
                                                               _G43118 union _G43119
                                                               _G43118 intersection _G43119
                                                               _G43118 max _G43119
                                                               _G43118 min _G43119
                                         _G43017 & _G43018
                                         _G43017 eqv _G43018
                                         _G43017 xor _G43018
                                         _G43017 + _G43018
                                         _G43017 * _G43018
                                         _G43017 # _G43018
                   _G42898 <> _G42899
                   _G42898 == _G42899
                   _G42898 =@= _G42899
                   _G42898 <@> _G42899
------------------ Methods inherited from class object:
commutative_op can get_saved(_G43310, _G43311)
                   restore(_G43310)
                   freeze(_G43310, _G43311)
                   save(_G43310, _G43311)
                   get_properties(_G43310, _G43311)
                   get_superobjects(_G43310, _G43311)
                   get_subobjects(_G43310, _G43311)
                   get_parents(_G43310, _G43311)
                   get_children(_G43310, _G43311)
                   get_instances(_G43310, _G43311)
                   create(_G43310, _G43311, _G43312)
                   create(_G43310, _G43311)
                   get_dependencies(_G43310, _G43311)