Object Info


minval(_G209, _G210) is defined in /home/faculty/engelen/Ctadel/ctadel.pl:616
minval(_G209, _G210) --> reduction_op_for(min) --> reduction_op --> commuting_op --> operator --> object
range_optimizable_op --> operator --> object
------------------------ Properties:
minval(_G209, _G210) has unit(([_G11625, _G11630] -> _G11625))
type(([real, domain(index)] -> real))
type(([real, iteration(index)] -> real))
type(([integer, domain(index)] -> integer))
type(([integer, iteration(index)] -> integer))
------------------------ Methods:
minval(_G209, _G210) can get_latex(minval(_G11771, _G11774 = _G11777 .. _G11778), 591,
[ "\min_"
, _G11774
, "="
, _G11777
, "^"
, _G11778
, _G11771 ])
get_latex(minval(_G11771, _G11772), 591, [ "\min_"
, _G11772
, _G11771 ])
------------------------ Methods inherited from class object:
minval(_G209, _G210) can get_saved(_G12083, _G12084)
restore(_G12083)
freeze(_G12083, _G12084)
save(_G12083, _G12084)
get_properties(_G12083, _G12084)
get_superobjects(_G12083, _G12084)
get_subobjects(_G12083, _G12084)
get_parents(_G12083, _G12084)
get_children(_G12083, _G12084)
get_instances(_G12083, _G12084)
create(_G12083, _G12084, _G12085)
create(_G12083, _G12084)
get_dependencies(_G12083, _G12084)
------------------------ Methods inherited from class reduction_op_for(min):
minval(_G209, _G210) can get_cost(_G12202, _G12203)
get_latex(_G12202, _G12203, [ _G12206
, "_"
, $NOBR(_G12220 = _G12221)
, "^"
, _G12229
, _G12232 ])
get_latex(_G12202, _G12203, [ _G12206
, "_"
, _G12215
, _G12218 ])
commute_over(_G12202, _G12203)