Object Info

left-associative infix operator union has precedence 820

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