Object Info

left-associative infix operator intersection has precedence 810

_G161 intersection _G162 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:209
_G161 intersection _G162   --> 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:
_G161 intersection _G162 has   type(([range(_G28932), range(_G28932)] ->
                                     range(_G28932)
                                    ))
------------------------------ Methods inherited from class object:
_G161 intersection _G162 can   get_saved(_G29250, _G29251)
                               restore(_G29250)
                               freeze(_G29250, _G29251)
                               save(_G29250, _G29251)
                               get_properties(_G29250, _G29251)
                               get_superobjects(_G29250, _G29251)
                               get_subobjects(_G29250, _G29251)
                               get_parents(_G29250, _G29251)
                               get_children(_G29250, _G29251)
                               get_instances(_G29250, _G29251)
                               create(_G29250, _G29251, _G29252)
                               create(_G29250, _G29251)
                               get_dependencies(_G29250, _G29251)