Object Info

left-associative infix operator min has precedence 590

X min Y is defined in /home/robert/projects/Ctadel/ctadel.pl:163
X min 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 min Y has distributive_op(max)
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 min Y can range(_G109631, ([_G109637, _G109640] -> _G109637 min _G109640))
--------------- Methods inherited from class elemental_op:
X min Y can get_cost(_G109868, 1)
--------------- Methods inherited from class object:
X min Y can restore(_G109845)
save(_G109845, _G109846)
get_properties(_G109845, _G109846)
get_superobjects(_G109845, _G109846)
get_subobjects(_G109845, _G109846)
get_parents(_G109845, _G109846)
get_children(_G109845, _G109846)
get_instances(_G109845, _G109846)
create(_G109845, _G109846)
get_dependencies(_G109845, _G109846)