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

C

c0 - Variable in class godel.Godel3

Coded form of zero

calcdep(int) - Method in class godel.Godel3

Recursively calculates which functions a function depends upon f may be recursively defined, but mutual recursion is not allowed

calcdeps(int) - Method in class godel.Godel3

Calculates which functions a function depends upon, using calcdep

caretUpdate(CaretEvent) - Method in class godel.Godel3

Reset caret colour after it's turned red to show an error

cf1 - Variable in class godel.godel1

cf1 - Variable in class godel.Godel2

chkch(char) - Method in class godel.godel1

checks whether current character matches a given one

chkch(char) - Method in class godel.Godel3

Checks whether the current item is a single character matching c

chkchS(String) - Method in class godel.Godel3

Checks whether the current item is a single character in S.

chkchv(char) - Method in class godel.godel1

requires current character to match a given one

chkchv(char) - Method in class godel.Godel3

requires the current item to be a single character matching c

chkIntv() - Method in class godel.Godel3

Requires current item to be 'Integer' reserved word

chkResv(int) - Method in class godel.Godel3

Ensures that current word is a given reserved word

chktokv(int) - Method in class godel.Godel3

Checks whether the current item is a 2 character token number t

code3 - Variable in class godel.Num3

createAndShowGUI() - Static method in class godel.Num3

Csp - Variable in class godel.Godel3

Stack pointer for CStore

Cstore - Variable in class godel.Godel3

Store for coded conditions

curch - Variable in class godel.Godel3

current character

curlin - Variable in class godel.Godel2

Current line number for lines of proof

curnum - Variable in class godel.Godel3

current item if it is an integer

curtok - Variable in class godel.Godel3

current item if it is a token

curword - Variable in class godel.Godel3

current item if it is an identifier