Object Info

left-associative infix operator and has precedence 910

_G251 and _G252 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:193
_G251 and _G252   --> 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:
_G251 and _G252 has   distributive_op(or)
                      type(([boolean, boolean] -> boolean))
                      unit_element(true)
                      zero_element(false)
--------------------- Methods:
_G251 and _G252 can   range(_G20617, ([_G20623, _G20626] -> _G20623 and _G20626))
--------------------- Methods inherited from class object:
_G251 and _G252 can   get_saved(_G20933, _G20934)
                      restore(_G20933)
                      freeze(_G20933, _G20934)
                      save(_G20933, _G20934)
                      get_properties(_G20933, _G20934)
                      get_superobjects(_G20933, _G20934)
                      get_subobjects(_G20933, _G20934)
                      get_parents(_G20933, _G20934)
                      get_children(_G20933, _G20934)
                      get_instances(_G20933, _G20934)
                      create(_G20933, _G20934, _G20935)
                      create(_G20933, _G20934)
                      get_dependencies(_G20933, _G20934)