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

jukebox-0.2.9: A first-order reasoning toolbox

Index - C

cases	Jukebox.GuessModel
cases1	Jukebox.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.Monotonox.Monotonicity
Clause_	Jukebox.Form
clausForm	Jukebox.Clausify
clausify	Jukebox.Clausify
clausifyBox	Jukebox.Toolbox
ClausifyFlags
1 (Type/Class)	Jukebox.Clausify
2 (Data Constructor)	Jukebox.Clausify
clausifyFlags	Jukebox.Clausify
clausifyIO	Jukebox.Toolbox
closeForm	Jukebox.Form
CNF
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
Cnf	Jukebox.TPTP.Lexer
cnf
1 (Function)	Jukebox.TPTP.Parse.Core
2 (Function)	Jukebox.TPTP.ParseSnippet
3 (Function)	Jukebox.Clausify
CNF_	Jukebox.Form
collect	Jukebox.Form
Colon	Jukebox.TPTP.Lexer
Comma	Jukebox.TPTP.Lexer
compareName	Jukebox.Name
compoundType	Jukebox.TPTP.Parse.Core
conflict	Jukebox.Sat
Conjecture
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
conjectures	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.Monotonox.Monotonicity
Cost	Jukebox.Clausify
counter	Jukebox.SatEq
cross	Jukebox.Clausify
cut	Jukebox.TPTP.Parsec
cut'	Jukebox.TPTP.Parsec