Object Info

maxval(_G236, _G237) is defined in /home/faculty/engelen/Ctadel/ctadel.pl:607
maxval(_G236, _G237) --> reduction_op_for(max) --> reduction_op         --> commuting_op --> operator --> object
                                                   range_optimizable_op --> operator --> object
------------------------ Properties:
maxval(_G236, _G237) has unit(([_G35952, _G35957] -> _G35952))
                         type(([real, domain(index)] -> real))
                         type(([real, iteration(index)] -> real))
                         type(([integer, domain(index)] -> integer))
                         type(([integer, iteration(index)] -> integer))
------------------------ Methods:
maxval(_G236, _G237) can get_latex(maxval(_G36098, _G36101 = _G36104 .. _G36105), 591, 
[ "\max_"
, _G36101
, "="
, _G36104
, "^"
, _G36105
, _G36098 ])
                         get_latex(maxval(_G36098, _G36099), 591, [ "\max_"
                                                                  , _G36099
                                                                  , _G36098 ])
------------------------ Methods inherited from class object:
maxval(_G236, _G237) can get_saved(_G36410, _G36411)
                         restore(_G36410)
                         freeze(_G36410, _G36411)
                         save(_G36410, _G36411)
                         get_properties(_G36410, _G36411)
                         get_superobjects(_G36410, _G36411)
                         get_subobjects(_G36410, _G36411)
                         get_parents(_G36410, _G36411)
                         get_children(_G36410, _G36411)
                         get_instances(_G36410, _G36411)
                         create(_G36410, _G36411, _G36412)
                         create(_G36410, _G36411)
                         get_dependencies(_G36410, _G36411)
------------------------ Methods inherited from class reduction_op_for(max):
maxval(_G236, _G237) can get_cost(_G36529, _G36530)
                         get_latex(_G36529, _G36530, [ _G36533
                                                     , "_"
                                                     , $NOBR(_G36547 = _G36548)
                                                     , "^"
                                                     , _G36556
                                                     , _G36559 ])
                         get_latex(_G36529, _G36530, [ _G36533
                                                     , "_"
                                                     , _G36542
                                                     , _G36545 ])
                         commute_over(_G36529, _G36530)