jukebox-0.5.2: A first-order reasoning toolbox (Index - E)

jukebox-0.5.2: A first-order reasoning toolbox

Index - E

EFlags
1 (Type/Class)	Jukebox.ExternalProvers.E
2 (Data Constructor)	Jukebox.ExternalProvers.E
eflags	Jukebox.ExternalProvers.E
eliminateHornClauses	Jukebox.Tools.HornToUnit
eliminateMultiplePreconditions	Jukebox.Tools.HornToUnit
eliminatePredicates	Jukebox.Tools.HornToUnit
eliminateUnsuitableConjectures	Jukebox.Tools.HornToUnit
Elt
1 (Type/Class)	Jukebox.Sat.Equality
2 (Data Constructor)	Jukebox.Sat.Equality
encodeTypesSmartly	Jukebox.Tools.HornToUnit
Encoding	Jukebox.Tools.HornToUnit
encoding	Jukebox.Tools.HornToUnit
Eof	Jukebox.TPTP.Lexer
eof	Jukebox.TPTP.Parsec
eprover	Jukebox.ExternalProvers.E
Eq	Jukebox.TPTP.Lexer
EqSolver	Jukebox.Sat.Equality
equal	Jukebox.Sat.Equality
equals	Jukebox.Tools.EncodeTypes
Equiv	Jukebox.Form
eraseTypes	Jukebox.Form
Error
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
3 (Data Constructor)	Jukebox.TPTP.Lexer
4 (Data Constructor)	Jukebox.TPTP.Parsec
evalUF	Jukebox.UnionFind
execUF	Jukebox.UnionFind
Exists
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
exists	Jukebox.Tools.EncodeTypes
Expected	Jukebox.TPTP.Parsec
expected	Jukebox.TPTP.Parsec
expert	Jukebox.Options
ExpertMode	Jukebox.Options
explainAnswer	Jukebox.Form
Extension	Jukebox.Tools.AnalyseMonotonicity
extension	Jukebox.Tools.AnalyseMonotonicity
extractAnswer
1 (Function)	Jukebox.ExternalProvers.SPASS
2 (Function)	Jukebox.ExternalProvers.E