Object Info

left-associative infix operator max has precedence 590

X max Y is defined in /home/robert/projects/Ctadel/ctadel.pl:162
X max Y --> 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
convertable_op_for(grid) --> operator --> object
--------------- Properties:
X max Y 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:
X max Y can range(_G107124, ([_G107130, _G107133] -> _G107130 max _G107133))
--------------- Methods inherited from class elemental_op:
X max Y can get_cost(_G107361, 1)
--------------- Methods inherited from class object:
X max Y can restore(_G107338)
save(_G107338, _G107339)
get_properties(_G107338, _G107339)
get_superobjects(_G107338, _G107339)
get_subobjects(_G107338, _G107339)
get_parents(_G107338, _G107339)
get_children(_G107338, _G107339)
get_instances(_G107338, _G107339)
create(_G107338, _G107339)
get_dependencies(_G107338, _G107339)