Object Info

abelian_op is defined in /home/faculty/engelen/Ctadel/classes.pl:311
abelian_op --> associative_op --> operator --> object
               commutative_op --> operator --> object
abelian_op <-- meet_op           <-- meet_op_for(_G24538)
                                     _G24538 ! _G24539
                                     _G24538 or _G24539
                                     _G24538 and _G24539
                                     _G24538 union _G24539
                                     _G24538 intersection _G24539
                                     _G24538 max _G24539
                                     _G24538 min _G24539
               _G24437 & _G24438
               _G24437 eqv _G24438
               _G24437 xor _G24438
               _G24437 + _G24438
               _G24437 * _G24438
               _G24437 # _G24438
-------------- Methods inherited from class object:
abelian_op can get_saved(_G24909, _G24910)
               restore(_G24909)
               freeze(_G24909, _G24910)
               save(_G24909, _G24910)
               get_properties(_G24909, _G24910)
               get_superobjects(_G24909, _G24910)
               get_subobjects(_G24909, _G24910)
               get_parents(_G24909, _G24910)
               get_children(_G24909, _G24910)
               get_instances(_G24909, _G24910)
               create(_G24909, _G24910, _G24911)
               create(_G24909, _G24910)
               get_dependencies(_G24909, _G24910)