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

jukebox-0.5: A first-order reasoning toolbox

Index - F

false
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.Sat.Easy
false3	Jukebox.Sat.ThreeValued
FalseExtend	Jukebox.Tools.AnalyseMonotonicity
FalseExtended	Jukebox.Tools.AnalyseMonotonicity
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
FiPredicates	Jukebox.TPTP.Lexer
Fixed	Jukebox.Name
FixedName	Jukebox.Name
Flag
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
flag	Jukebox.Options
flagArgs	Jukebox.Options
flagExpert	Jukebox.Options
flagGroup	Jukebox.Options
flagHelp	Jukebox.Options
FlagMode	Jukebox.Options
flagMode	Jukebox.Options
flagName	Jukebox.Options
flatten	Jukebox.Sat.Easy
Fof	Jukebox.TPTP.Lexer
fof	Jukebox.TPTP.Parse.Core
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.Tools.Clausify
2 (Function)	Jukebox.Tools.EncodeTypes
forAllConjectures	Jukebox.Toolbox
forAllConjecturesBox	Jukebox.Toolbox
forAllFiles	Jukebox.Toolbox
forAllFilesBox	Jukebox.Toolbox
forAllOr	Jukebox.Tools.Clausify
force	Jukebox.Form
Form
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
3 (Type/Class)	Jukebox.Sat.Easy
form	Jukebox.TPTP.ParseSnippet
Formula	Jukebox.TPTP.Parse.Core
formula	Jukebox.TPTP.Parse.Core
free	Jukebox.Form
FromFile	Jukebox.Form
fromModel	Jukebox.Tools.AnalyseMonotonicity
fromThing	Jukebox.TPTP.Parse.Core
Fun	Jukebox.TPTP.Parse.Core
funArgs	Jukebox.Form
FunArrow	Jukebox.TPTP.Lexer
funcAxiom	Jukebox.Tools.EncodeTypes
Function	Jukebox.Form
function	Jukebox.Tools.GuessModel
Function'	Jukebox.Tools.InferTypes
functions	Jukebox.Form
funOcc	Jukebox.Form
funsOcc	Jukebox.Form
FunType
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form