Object Info

non-associative infix operator subset has precedence 830

_G143 subset _G144 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:211
_G143 subset _G144 --> total_op --> operator --> object
list_op --> constant --> object
------------------------ Properties:
_G143 subset _G144 has type(([range(_G35439), range(_G35439)] -> boolean))
------------------------ Methods inherited from class object:
_G143 subset _G144 can get_saved(_G35757, _G35758)
restore(_G35757)
freeze(_G35757, _G35758)
save(_G35757, _G35758)
get_properties(_G35757, _G35758)
get_superobjects(_G35757, _G35758)
get_subobjects(_G35757, _G35758)
get_parents(_G35757, _G35758)
get_children(_G35757, _G35758)
get_instances(_G35757, _G35758)
create(_G35757, _G35758, _G35759)
create(_G35757, _G35758)
get_dependencies(_G35757, _G35758)