Object Info

left-associative infix operator intersection has precedence 810

_G182 intersection _G183 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:209
_G182 intersection _G183 --> total_op --> operator --> object
meet_op --> abelian_op --> associative_op --> operator --> object
commutative_op --> operator --> object
idempotent_op --> operator --> object
list_op --> constant --> object
------------------------------ Properties:
_G182 intersection _G183 has type(([range(_G52613), range(_G52613)] ->
range(_G52613)
))
------------------------------ Methods inherited from class object:
_G182 intersection _G183 can get_saved(_G52931, _G52932)
restore(_G52931)
freeze(_G52931, _G52932)
save(_G52931, _G52932)
get_properties(_G52931, _G52932)
get_superobjects(_G52931, _G52932)
get_subobjects(_G52931, _G52932)
get_parents(_G52931, _G52932)
get_children(_G52931, _G52932)
get_instances(_G52931, _G52932)
create(_G52931, _G52932, _G52933)
create(_G52931, _G52932)
get_dependencies(_G52931, _G52932)