GaveUp | Jukebox.Form |
generate | Jukebox.InferTypes |
getEffectiveArgs | Jukebox.Options |
getName | Jukebox.Clausify |
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 |