Index - G
| GaveUp | Jukebox.Form |
| generate | Jukebox.InferTypes |
| getEffectiveArgs | Jukebox.Options |
| getName | Jukebox.Clausify |
| getProblem | Jukebox.TPTP.ClauseParser |
| getSolver | Jukebox.Sat |
| getSolverEq | Jukebox.SatEq |
| getState | Jukebox.TPTP.Parsec |
| getTPTPDirs | Jukebox.TPTP.FindFile |
| GlobalFlags | |
| 1 (Type/Class) | Jukebox.Toolbox |
| 2 (Data Constructor) | Jukebox.Toolbox |
| globalFlags | Jukebox.Toolbox |
| greeting | Jukebox.Options |
| greetingBox | Jukebox.Toolbox |
| greetingBoxIO | Jukebox.Toolbox |
| ground | Jukebox.Form |
| guard | Jukebox.Monotonox.ToFOF |
| guards | |
| 1 (Function) | Jukebox.Monotonox.Monotonicity |
| 2 (Function) | Jukebox.Monotonox.ToFOF |
| guards1 | Jukebox.Monotonox.ToFOF |
| guardsAxiom | Jukebox.Monotonox.ToFOF |
| guardsTypeAxiom | Jukebox.Monotonox.ToFOF |
| guessModel | Jukebox.GuessModel |
| guessModelBox | Jukebox.Toolbox |
| guessModelIO | Jukebox.Toolbox |