Object Info

left-associative infix operator or has precedence 914

_G170 or _G171 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:191
_G170 or _G171   --> 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:
_G170 or _G171 has   distributive_op(and)
                     type(([boolean, boolean] -> boolean))
                     unit_element(false)
                     zero_element(true)
-------------------- Methods:
_G170 or _G171 can   range(_G49301, ([_G49307, _G49310] -> _G49307 or _G49310))
-------------------- Methods inherited from class object:
_G170 or _G171 can   get_saved(_G49617, _G49618)
                     restore(_G49617)
                     freeze(_G49617, _G49618)
                     save(_G49617, _G49618)
                     get_properties(_G49617, _G49618)
                     get_superobjects(_G49617, _G49618)
                     get_subobjects(_G49617, _G49618)
                     get_parents(_G49617, _G49618)
                     get_children(_G49617, _G49618)
                     get_instances(_G49617, _G49618)
                     create(_G49617, _G49618, _G49619)
                     create(_G49617, _G49618)
                     get_dependencies(_G49617, _G49618)