Object Info

prefix operator forall has precedence 998

forall _G1112 is defined in /home/robert/projects/Ctadel/ctadel.pl:728
forall _G1112 --> object
----------------- Methods:
forall _G1112 can get_latex(_G68164, ["\begin{array}[t]{@{}l@{}}"], [ (forall _G68189 repeat _G68190 latex
[
"{\bf forall~}"
, $ESCAPE(_G68189)
,
"{\bf ~repeat}\\\quad"
, $ESCAPE(_G68190) ]
) ], [
"\end{array}"])
----------------- Methods inherited from class object:
forall _G1112 can restore(_G68379)
save(_G68379, _G68380)
get_properties(_G68379, _G68380)
get_superobjects(_G68379, _G68380)
get_subobjects(_G68379, _G68380)
get_parents(_G68379, _G68380)
get_children(_G68379, _G68380)
get_instances(_G68379, _G68380)
create(_G68379, _G68380)
get_dependencies(_G68379, _G68380)