Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
godel.Godel3.Funinfo

Uses of Godel3.Funinfo in godel
 

Fields in godel declared as Godel3.Funinfo
(package private)  Godel3.Funinfo Godel3.finf
          info for function currently being compiled
(package private)  Godel3.Funinfo[] Godel3.finfo
          Store for information about functions
 

Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES