jukebox-0.1.4: A first-order reasoning toolbox (Index - F)

jukebox-0.1.4: A first-order reasoning toolbox

Index - F

false
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.HighSat
false3	Jukebox.Sat3
FalseExtend	Jukebox.Monotonox.Monotonicity
FalseExtended	Jukebox.Monotonox.Monotonicity
fatalError	Jukebox.TPTP.Parsec
FiDomain	Jukebox.TPTP.Lexer
FiHypothesis	Jukebox.TPTP.Lexer
filenames	Jukebox.Options
findFile	Jukebox.TPTP.FindFile
findFileFlags	Jukebox.TPTP.FindFile
findFileTPTP	Jukebox.TPTP.FindFile
findType	Jukebox.TPTP.ClauseParser
findWithDefault	Jukebox.Map
Finite	Jukebox.Form
FiPredicates	Jukebox.TPTP.Lexer
Flag
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
flag	Jukebox.Options
flagArgs	Jukebox.Options
flagGroup	Jukebox.Options
flagHelp	Jukebox.Options
flagName	Jukebox.Options
flatten	Jukebox.HighSat
Fof	Jukebox.TPTP.Lexer
fof	Jukebox.TPTP.ClauseParser
fold	Jukebox.Seq
Follows
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
ForAll
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
forAll
1 (Function)	Jukebox.Clausify
2 (Function)	Jukebox.Monotonox.ToFOF
ForAllLam	Jukebox.TPTP.Lexer
forAllOr	Jukebox.Clausify
force	Jukebox.Form
Form
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
3 (Type/Class)	Jukebox.HighSat
form	Jukebox.TPTP.ParseSnippet
form'	Jukebox.TPTP.ParseSnippet
Formula	Jukebox.TPTP.ClauseParser
formula	Jukebox.TPTP.ClauseParser
FormulaLike	Jukebox.TPTP.ClauseParser
free	Jukebox.Form
fromFormula	Jukebox.TPTP.ClauseParser
fromList
1 (Function)	Jukebox.Map
2 (Function)	Jukebox.Seq
3 (Function)	Jukebox.NameMap
fromModel	Jukebox.Monotonox.Monotonicity
fromThing	Jukebox.TPTP.ClauseParser
Fun	Jukebox.TPTP.ClauseParser
funArgs	Jukebox.Form
FunArrow	Jukebox.TPTP.Lexer
funcAxiom	Jukebox.Monotonox.ToFOF
Function	Jukebox.Form
function	Jukebox.GuessModel
Function'	Jukebox.InferTypes
functions	Jukebox.Form
FunType
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form