Object Info

left-associative infix operator eqv has precedence 916

_G471 eqv _G472 is defined in /home/robert/projects/Ctadel/ctadel.pl:139
_G471 eqv _G472 --> elemental_op --> operator --> object
total_op --> operator --> object
abelian_op --> associative_op --> operator --> object
commutative_op --> operator --> object
------------------- Properties:
_G471 eqv _G472 has type(([boolean, boolean] -> boolean))
unit_element(true)
------------------- Methods inherited from class elemental_op:
_G471 eqv _G472 can get_cost(_G64960, 1)
------------------- Methods inherited from class object:
_G471 eqv _G472 can restore(_G64937)
save(_G64937, _G64938)
get_properties(_G64937, _G64938)
get_superobjects(_G64937, _G64938)
get_subobjects(_G64937, _G64938)
get_parents(_G64937, _G64938)
get_children(_G64937, _G64938)
get_instances(_G64937, _G64938)
create(_G64937, _G64938)
get_dependencies(_G64937, _G64938)