Object Info

left-associative infix operator max has precedence 590

_G140 max _G141 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:219
_G140 max _G141   --> 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:
_G140 max _G141 has   distributive_op(min)
                      type(([real, real] -> real))
                      type(([integer, integer] -> integer))
                      type(([range(real), range(real)] -> range(real)))
                      type(([range(integer), range(integer)] ->
                            range(integer)
                           ))
                      unit_element(- infinity)
                      zero_element(infinity)
--------------------- Methods:
_G140 max _G141 can   range(_G35004, ([_G35010, _G35013] -> _G35010 max _G35013))
--------------------- Methods inherited from class object:
_G140 max _G141 can   get_saved(_G35320, _G35321)
                      restore(_G35320)
                      freeze(_G35320, _G35321)
                      save(_G35320, _G35321)
                      get_properties(_G35320, _G35321)
                      get_superobjects(_G35320, _G35321)
                      get_subobjects(_G35320, _G35321)
                      get_parents(_G35320, _G35321)
                      get_children(_G35320, _G35321)
                      get_instances(_G35320, _G35321)
                      create(_G35320, _G35321, _G35322)
                      create(_G35320, _G35321)
                      get_dependencies(_G35320, _G35321)