Object Info


minval(_G713, _G714) is defined in /home/robert/projects/Ctadel/ctadel.pl:532
minval(_G713, _G714) --> reduction_op_for(min) --> reduction_op --> commuting_op --> operator --> object
------------------------ Properties:
minval(_G713, _G714) has unit(([_G110120, _G110125] -> _G110120))
type(([real, domain(index)] -> real))
type(([real, iteration(index)] -> real))
type(([integer, domain(index)] -> integer))
type(([integer, iteration(index)] -> integer))
------------------------ Methods:
minval(_G713, _G714) can get_latex(minval(_G110242, _G110245 = _G110248 .. _G110249), 591,
[ "\min_"
, _G110245
, "="
, _G110248
, "^"
, _G110249
, _G110242 ])
get_latex(minval(_G110242, _G110243), 591, [ "\min_"
, _G110243
, _G110242 ])
------------------------ Methods inherited from class object:
minval(_G713, _G714) can restore(_G110452)
save(_G110452, _G110453)
get_properties(_G110452, _G110453)
get_superobjects(_G110452, _G110453)
get_subobjects(_G110452, _G110453)
get_parents(_G110452, _G110453)
get_children(_G110452, _G110453)
get_instances(_G110452, _G110453)
create(_G110452, _G110453)
get_dependencies(_G110452, _G110453)
------------------------ Methods inherited from class reduction_op_for(min):
minval(_G713, _G714) can get_cost(_G110524, _G110525)
commute_over(_G110524, _G110525)