Object Info

abelian_op is defined in /home/faculty/engelen/Ctadel/classes.pl:264
abelian_op --> associative_op --> operator --> object
               commutative_op --> operator --> object
abelian_op <-- meet_op           <-- meet_op_for(_G37916)
                                     _G37916 ! _G37917
                                     _G37916 or _G37917
                                     _G37916 and _G37917
                                     _G37916 union _G37917
                                     _G37916 intersection _G37917
                                     _G37916 max _G37917
                                     _G37916 min _G37917
               _G37852 & _G37853
               _G37852 eqv _G37853
               _G37852 xor _G37853
               _G37852 + _G37853
               _G37852 * _G37853
               _G37852 # _G37853
-------------- Methods inherited from class object:
abelian_op can restore(_G38204)
               save(_G38204, _G38205)
               get_properties(_G38204, _G38205)
               get_superobjects(_G38204, _G38205)
               get_subobjects(_G38204, _G38205)
               get_parents(_G38204, _G38205)
               get_children(_G38204, _G38205)
               get_instances(_G38204, _G38205)
               create(_G38204, _G38205, _G38206)
               create(_G38204, _G38205)
               get_dependencies(_G38204, _G38205)