Object Info


count(_G738, _G739) is defined in /home/robert/projects/Ctadel/ctadel.pl:577
count(_G738, _G739) --> operator --> object
----------------------- Properties:
count(_G738, _G739) has type(([boolean, domain(index)] -> integer))
----------------------- Methods:
count(_G738, _G739) can range(_G56820, ([_G56826, [{_G56837 .. _G56838}]] ->
0 .. 0 max _G56838 - _G56837 + 1
))
----------------------- Methods inherited from class object:
count(_G738, _G739) can restore(_G57034)
save(_G57034, _G57035)
get_properties(_G57034, _G57035)
get_superobjects(_G57034, _G57035)
get_subobjects(_G57034, _G57035)
get_parents(_G57034, _G57035)
get_children(_G57034, _G57035)
get_instances(_G57034, _G57035)
create(_G57034, _G57035)
get_dependencies(_G57034, _G57035)