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

E

endflg - Variable in class godel.godel1

Set when end of input number reached

endflg - Variable in class godel.Godel2

Set when end of proof number reached

Esp - Variable in class godel.Godel3

Stack pointer for EStore

Estore - Variable in class godel.Godel3

Store for variables which need ∃ condition before current piece of code

exists(int, BigInteger) - Method in class godel.Godel3

∃ #v #T

expr10() - Method in class godel.Godel3

Function calls, variables, numbers,[], (expr),duples

expr2(int) - Method in class godel.Godel3

if, case and let and || operator

expr3() - Method in class godel.Godel3

&& operator

expr4() - Method in class godel.Godel3

relational operators

expr5() - Method in class godel.Godel3

expr6() - Method in class godel.Godel3

+ and -

expr7() - Method in class godel.Godel3

, `div`, `mod`

expr9() - Method in class godel.Godel3

!! operator