jukebox-0.4.2: A first-order reasoning toolbox

Index - C

casesJukebox.Tools.GuessModel
cases1Jukebox.Tools.GuessModel
checkJukebox.Form
checkBinderJukebox.Form
Clause 
1 (Type/Class)Jukebox.Form
2 (Data Constructor)Jukebox.Form
clause 
1 (Function)Jukebox.Form
2 (Function)Jukebox.Tools.AnalyseMonotonicity
Clause_Jukebox.Form
clausFormJukebox.Tools.Clausify
clausifyJukebox.Tools.Clausify
clausifyBoxJukebox.Toolbox
ClausifyFlags 
1 (Type/Class)Jukebox.Tools.Clausify
2 (Data Constructor)Jukebox.Tools.Clausify
clausifyFlagsJukebox.Tools.Clausify
closeFormJukebox.Form
CNF 
1 (Type/Class)Jukebox.Form
2 (Data Constructor)Jukebox.Form
CnfJukebox.TPTP.Lexer
cnf 
1 (Function)Jukebox.Tools.Clausify
2 (Function)Jukebox.TPTP.Parse.Core
3 (Function)Jukebox.TPTP.ParseSnippet
CNFRefutationJukebox.Form
CNF_Jukebox.Form
collectJukebox.Form
ColonJukebox.TPTP.Lexer
CommaJukebox.TPTP.Lexer
commentJukebox.Toolbox
compareNameJukebox.Name
compoundTypeJukebox.TPTP.Parse.Core
conflictJukebox.Sat
ConjJukebox.Form
Conjecture 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
conjecturesJukebox.Form
ConjKindJukebox.Form
Connective 
1 (Type/Class)Jukebox.Form
2 (Data Constructor)Jukebox.Form
connectiveJukebox.Form
ConsJukebox.TPTP.Lexer
ConstJukebox.Form
consumeJukebox.Options
ContentsJukebox.TPTP.Lexer
CopyExtendJukebox.Tools.AnalyseMonotonicity
CostJukebox.Tools.Clausify
counterJukebox.Sat.Equality
CounterSatisfiableJukebox.Form
crossJukebox.Tools.Clausify
cutJukebox.TPTP.Parsec
cut'Jukebox.TPTP.Parsec