Object Info

non-associative infix operator *=> has precedence 1150

_G1102 *=> _G1103 is defined in /home/robert/projects/Ctadel/ctadel.pl:784
_G1102 *=> _G1103 --> object
--------------------- Methods:
_G1102 *=> _G1103 can get_latex((_G30738;
_G30739 *=> _G30736), (*=>), [ _G30739
,
"\quad\stackrel{\rm"
, _G30738
,
"}{*\!\!\Rightarrow}\quad"
, _G30736 ])
--------------------- Methods inherited from class object:
_G1102 *=> _G1103 can restore(_G30945)
save(_G30945, _G30946)
get_properties(_G30945, _G30946)
get_superobjects(_G30945, _G30946)
get_subobjects(_G30945, _G30946)
get_parents(_G30945, _G30946)
get_children(_G30945, _G30946)
get_instances(_G30945, _G30946)
create(_G30945, _G30946)
get_dependencies(_G30945, _G30946)