Object Info


ceil(_G372) is defined in /home/robert/projects/Ctadel/ctadel.pl:189
ceil(_G372) --> elemental_op --> operator --> object
total_op --> operator --> object
--------------- Properties:
ceil(_G372) has type(([real] -> integer))
--------------- Methods:
ceil(_G372) can get_latex(ceil(_G52330), none, [ "\left\lceil"
, _G52330
, "\right\rceil" ])
--------------- Methods inherited from class elemental_op:
ceil(_G372) can get_cost(_G52564, 1)
--------------- Methods inherited from class object:
ceil(_G372) can restore(_G52541)
save(_G52541, _G52542)
get_properties(_G52541, _G52542)
get_superobjects(_G52541, _G52542)
get_subobjects(_G52541, _G52542)
get_parents(_G52541, _G52542)
get_children(_G52541, _G52542)
get_instances(_G52541, _G52542)
create(_G52541, _G52542)
get_dependencies(_G52541, _G52542)