A B C D E F G H I J K L M N O P R S T U V W Y Z

P

paramcond(int, int) - Method in class godel.Godel3

#v<N_f

parse1() - Method in class godel.godel1

Main routine for parsing strin Handles ⇒ ⇒ is right associative A⇒B⇒C means A⇒(B⇒C)

parse1() - Method in class godel.Godel3

Parses program in strin

parse2() - Method in class godel.godel1

Handles ∀,¬ and equality

parse3() - Method in class godel.godel1

HAndles addition

parse4() - Method in class godel.godel1

Handles multiplication

parse5() - Method in class godel.godel1

Handles successor operator

parse6() - Method in class godel.godel1

Handles lowest level items in expression zero, variables and (expression)

plines - Variable in class godel.Godel2

Text area for Godel numbers of lines of proof

plines - Variable in class godel.Godel3

Text area for input of Haskell code

pos - Variable in class godel.godel1

Current position in text

pos - Variable in class godel.Godel3

Current position in strin

predefines() - Method in class godel.Godel3

produces the code for predefined list operators (:),(!!) and functions length and tail

predefs - Variable in class godel.Godel3

Encoded form of predefined functions

prnum - Variable in class godel.Godel2

Text area for Godel number of proof

prnum - Variable in class godel.Godel3

Text area for output of Gödel number of Gödel statement

Proofin - Variable in class godel.Godel2

Holds Gödel number of proof (bitstream)

proofline(int) - Method in class godel.Godel2

Gets a line of a proof

proves() - Method in class godel.Godel2

Produces Gödel numbers of formulae of proof from Gödel number of proof in Proofin