Object Info

non-associative infix operator :- has precedence 1200

_G730 :- _G731 is defined in /home/robert/projects/Ctadel/ctadel.pl:746
_G730 :- _G731 --> operator --> object
------------------ Methods:
_G730 :- _G731 can get_latex(_G35210, ["\begin{array}[t]{@{}l@{}}"], [ (_G35233 :- true latex [_G35233])
, (_G35233 :- ! latex [_G35233,
"\::-!"])
, ((_G35233 :- !, _G35268) latex
[_G35233,
"\::-\:!,\\\qquad", _G35268]
)
, ((_G35233 :- _G35268) latex
[_G35233,
"\::-\\\qquad", _G35268]
)
, (_G35316, !, _G35320 latex
[_G35316,
",!,\\\qquad", _G35320]
)
, (_G35316, ! latex [_G35316,
",!"])
, (_G35316, _G35320 latex [_G35316,
",\\\qquad", _G35320])
, (_G35316 -> _G35320 latex
[_G35316,
"\\\rightarrow~~", _G35320]
)
, (_G35316; _G35320 latex
[
"\begin{array}[t]{@{}l@{}}(\quad~"
, _G35316
,
"\\;\quad~"
, _G35320
,
"\end{array}\\\qquad)" ]
)
, (\+ _G35316 latex [\+, _G35316])
, (_G35316 do _G35320 latex
[_G35316,
"{\bf ~do~}", _G35320]
)
, (_G35316 forall _G35320 latex
[
"\forall~", _G35316, "~:~", _G35320]
) ], [
".\end{array}"])
------------------ Methods inherited from class object:
_G730 :- _G731 can restore(_G35424)
save(_G35424, _G35425)
get_properties(_G35424, _G35425)
get_superobjects(_G35424, _G35425)
get_subobjects(_G35424, _G35425)
get_parents(_G35424, _G35425)
get_children(_G35424, _G35425)
get_instances(_G35424, _G35425)
create(_G35424, _G35425)
get_dependencies(_G35424, _G35425)