Object Info

left-associative infix operator or has precedence 914

_G465 or _G466 is defined in /home/robert/projects/Ctadel/ctadel.pl:141
_G465 or _G466 --> elemental_op --> operator --> object
total_op --> operator --> object
meet_op --> abelian_op --> associative_op --> operator --> object
commutative_op --> operator --> object
idempotent_op --> operator --> object
range_optimizable_op --> operator --> object
------------------ Properties:
_G465 or _G466 has distributive_op(and)
type(([boolean, boolean] -> boolean))
unit_element(false)
zero_element(true)
------------------ Methods:
_G465 or _G466 can range(_G116989, ([_G116995, _G116998] -> _G116995 or _G116998))
------------------ Methods inherited from class elemental_op:
_G465 or _G466 can get_cost(_G117226, 1)
------------------ Methods inherited from class object:
_G465 or _G466 can restore(_G117203)
save(_G117203, _G117204)
get_properties(_G117203, _G117204)
get_superobjects(_G117203, _G117204)
get_subobjects(_G117203, _G117204)
get_parents(_G117203, _G117204)
get_children(_G117203, _G117204)
get_instances(_G117203, _G117204)
create(_G117203, _G117204)
get_dependencies(_G117203, _G117204)