jukebox-0.5.4: A first-order reasoning toolbox (Index - I)

jukebox-0.5.4: A first-order reasoning toolbox

Index - I

ids	Jukebox.Form
Iff	Jukebox.TPTP.Lexer
Implies
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Include
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Parse.Core
include	Jukebox.TPTP.Parse.Core
IncludeStatement	Jukebox.TPTP.Parse.Core
ind	Jukebox.Tools.GuessModel
indent	Jukebox.Toolbox
indType	Jukebox.Form
inferBox	Jukebox.Toolbox
Inference	Jukebox.Form
inference	Jukebox.Form
inferTypes	Jukebox.Tools.InferTypes
infixOperator	Jukebox.TPTP.Parse.Core
inGroup	Jukebox.Options
initial	Jukebox.UnionFind
initialState	Jukebox.TPTP.Parse.Core
initialStateFrom	Jukebox.TPTP.Parse.Core
Input
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
input	Jukebox.TPTP.Parse.Core
inputFunctions	Jukebox.Form
inputNames	Jukebox.Form
InputPlus
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
inputPlus	Jukebox.Form
InputSource	Jukebox.Form
inputTypes	Jukebox.Form
inputValue	Jukebox.Form
Input_	Jukebox.Form
Integer	Jukebox.Name
intType	Jukebox.Form
io	Jukebox.Options
isFalse
1 (Function)	Jukebox.Sat.ThreeValued
2 (Function)	Jukebox.Form
isFof	Jukebox.Form
isPostfix	Jukebox.TPTP.Parse.Core
isRep	Jukebox.UnionFind
isTrue
1 (Function)	Jukebox.Sat.ThreeValued
2 (Function)	Jukebox.Form