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

D

DefFn(String) - Method in class godel.Godel3

Deals with the definition part of a function (which must be present)

dep1 - Variable in class godel.Godel3

Set of function nos.

dep2 - Variable in class godel.Godel3

Set of function nos.

dependsOn - Variable in class godel.Godel3.Funinfo

functions which this one depends upon

deplist - Variable in class godel.Godel3

list of numbers of functions used in code

diag(BigInteger) - Method in class godel.Godel3

¬(∀z (z=num(n)⇒¬#n)

DoFun(int) - Method in class godel.Godel3

Processes body of a function