jukebox-0.4.2: A first-order reasoning toolbox (Index - C)

jukebox-0.4.2: A first-order reasoning toolbox

Index - C

cases	Jukebox.Tools.GuessModel
cases1	Jukebox.Tools.GuessModel
check	Jukebox.Form
checkBinder	Jukebox.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
clausForm	Jukebox.Tools.Clausify
clausify	Jukebox.Tools.Clausify
clausifyBox	Jukebox.Toolbox
ClausifyFlags
1 (Type/Class)	Jukebox.Tools.Clausify
2 (Data Constructor)	Jukebox.Tools.Clausify
clausifyFlags	Jukebox.Tools.Clausify
closeForm	Jukebox.Form
CNF
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
Cnf	Jukebox.TPTP.Lexer
cnf
1 (Function)	Jukebox.Tools.Clausify
2 (Function)	Jukebox.TPTP.Parse.Core
3 (Function)	Jukebox.TPTP.ParseSnippet
CNFRefutation	Jukebox.Form
CNF_	Jukebox.Form
collect	Jukebox.Form
Colon	Jukebox.TPTP.Lexer
Comma	Jukebox.TPTP.Lexer
comment	Jukebox.Toolbox
compareName	Jukebox.Name
compoundType	Jukebox.TPTP.Parse.Core
conflict	Jukebox.Sat
Conj	Jukebox.Form
Conjecture
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
conjectures	Jukebox.Form
ConjKind	Jukebox.Form
Connective
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
connective	Jukebox.Form
Cons	Jukebox.TPTP.Lexer
Const	Jukebox.Form
consume	Jukebox.Options
Contents	Jukebox.TPTP.Lexer
CopyExtend	Jukebox.Tools.AnalyseMonotonicity
Cost	Jukebox.Tools.Clausify
counter	Jukebox.Sat.Equality
CounterSatisfiable	Jukebox.Form
cross	Jukebox.Tools.Clausify
cut	Jukebox.TPTP.Parsec
cut'	Jukebox.TPTP.Parsec