Object Info

left-associative infix operator union has precedence 820

_G149 union _G150 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:208
_G149 union _G150 --> 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:
_G149 union _G150 has type(([range(_G43543), range(_G43543)] -> range(_G43543)))
----------------------- Methods inherited from class object:
_G149 union _G150 can get_saved(_G43861, _G43862)
restore(_G43861)
freeze(_G43861, _G43862)
save(_G43861, _G43862)
get_properties(_G43861, _G43862)
get_superobjects(_G43861, _G43862)
get_subobjects(_G43861, _G43862)
get_parents(_G43861, _G43862)
get_children(_G43861, _G43862)
get_instances(_G43861, _G43862)
create(_G43861, _G43862, _G43863)
create(_G43861, _G43862)
get_dependencies(_G43861, _G43862)