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

jukebox-0.5.2: A first-order reasoning toolbox

Index - N

naked	Jukebox.Tools.EncodeTypes
Name	Jukebox.Name
name	Jukebox.Name
Named	Jukebox.Name
NameM
1 (Type/Class)	Jukebox.Name
2 (Data Constructor)	Jukebox.Name
names	Jukebox.Form
Nand
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Neg	Jukebox.Form
neg
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.Form
neg3	Jukebox.Sat.ThreeValued
NegatedConjecture
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Neq	Jukebox.TPTP.Lexer
newElt	Jukebox.Sat.Equality
newFormula	Jukebox.TPTP.Parse.Core
newFunction
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.TPTP.Parse.Core
newLit	Jukebox.Sat
newLit2	Jukebox.Sat.ThreeValued
newLit3	Jukebox.Sat.ThreeValued
newName	Jukebox.Name
newSolver	Jukebox.Sat
newSolverEq	Jukebox.Sat.Equality
newSymbol	Jukebox.Form
newType	Jukebox.Form
next	Jukebox.TPTP.Parsec
No	Jukebox.Options
NoAnswer	Jukebox.Form
NoAnswerReason	Jukebox.Form
nonempty	Jukebox.TPTP.Parsec
NoQuantification	Jukebox.TPTP.Parse.Core
Nor
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Normal	Jukebox.TPTP.Lexer
NormalMode	Jukebox.Options
normAtomic	Jukebox.Form
Not
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
notInwards	Jukebox.Form
nt
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.Sat.Easy
Number	Jukebox.TPTP.Lexer
number	Jukebox.TPTP.Parse.Core