Object Info

left-associative infix operator xor has precedence 916

_G113 xor _G114 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:190
_G113 xor _G114 --> elemental_op --> operator --> object
total_op --> operator --> object
abelian_op --> associative_op --> operator --> object
commutative_op --> operator --> object
--------------------- Properties:
_G113 xor _G114 has type(([boolean, boolean] -> boolean))
unit_element(false)
--------------------- Methods inherited from class object:
_G113 xor _G114 can get_saved(_G29551, _G29552)
restore(_G29551)
freeze(_G29551, _G29552)
save(_G29551, _G29552)
get_properties(_G29551, _G29552)
get_superobjects(_G29551, _G29552)
get_subobjects(_G29551, _G29552)
get_parents(_G29551, _G29552)
get_children(_G29551, _G29552)
get_instances(_G29551, _G29552)
create(_G29551, _G29552, _G29553)
create(_G29551, _G29552)
get_dependencies(_G29551, _G29552)