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(_G44700)
_G44700 ! _G44701
_G44700 or _G44701
_G44700 and _G44701
_G44700 union _G44701
_G44700 intersection _G44701
_G44700 max _G44701
_G44700 min _G44701
_G44599 & _G44600
_G44599 eqv _G44600
_G44599 xor _G44600
_G44599 + _G44600
_G44599 * _G44600
_G44599 # _G44600
_G44480 <> _G44481
_G44480 == _G44481
_G44480 =@= _G44481
_G44480 <@> _G44481
------------------ Methods inherited from class object:
commutative_op can get_saved(_G44892, _G44893)
restore(_G44892)
freeze(_G44892, _G44893)
save(_G44892, _G44893)
get_properties(_G44892, _G44893)
get_superobjects(_G44892, _G44893)
get_subobjects(_G44892, _G44893)
get_parents(_G44892, _G44893)
get_children(_G44892, _G44893)
get_instances(_G44892, _G44893)
create(_G44892, _G44893, _G44894)
create(_G44892, _G44893)
get_dependencies(_G44892, _G44893)