Object Info


maxval(_G716, _G717) is defined in /home/robert/projects/Ctadel/ctadel.pl:523
maxval(_G716, _G717) --> reduction_op_for(max) --> reduction_op --> commuting_op --> operator --> object
------------------------ Properties:
maxval(_G716, _G717) has unit(([_G107337, _G107342] -> _G107337))
type(([real, domain(index)] -> real))
type(([real, iteration(index)] -> real))
type(([integer, domain(index)] -> integer))
type(([integer, iteration(index)] -> integer))
------------------------ Methods:
maxval(_G716, _G717) can get_latex(maxval(_G107459, _G107462 = _G107465 .. _G107466), 591,
[ "\max_"
, _G107462
, "="
, _G107465
, "^"
, _G107466
, _G107459 ])
get_latex(maxval(_G107459, _G107460), 591, [ "\max_"
, _G107460
, _G107459 ])
------------------------ Methods inherited from class object:
maxval(_G716, _G717) can restore(_G107669)
save(_G107669, _G107670)
get_properties(_G107669, _G107670)
get_superobjects(_G107669, _G107670)
get_subobjects(_G107669, _G107670)
get_parents(_G107669, _G107670)
get_children(_G107669, _G107670)
get_instances(_G107669, _G107670)
create(_G107669, _G107670)
get_dependencies(_G107669, _G107670)
------------------------ Methods inherited from class reduction_op_for(max):
maxval(_G716, _G717) can get_cost(_G107741, _G107742)
commute_over(_G107741, _G107742)