Serialized Form

Package godel

Class godel.godel1 extends java.applet.Applet implements Serializable

serialVersionUID: 1L

Serialized Fields

cf1

java.awt.Font cf1

txta

javax.swing.JTextArea txta

Text Area for aritmetic formulae

numed

javax.swing.JTextArea numed

Text Area for Godel Numbers

strin

java.lang.String strin

pos

int pos

Current position in text

numin

java.math.BigInteger numin

Value of (Gödel) number entered. This is the input bitstream

endflg

boolean endflg

Set when end of input number reached

html

boolean html

Output text as HTML

but1

javax.swing.plaf.basic.BasicArrowButton but1

Press to convert from Gödel numbers to arithmetic formulae

but2

javax.swing.plaf.basic.BasicArrowButton but2

Press to convert from arithmetic formulae to Gödel numbers

THREE

java.math.BigInteger THREE

FOUR

java.math.BigInteger FOUR

InvInp

java.lang.Error InvInp

Thrown if text input is not valid

binar

javax.swing.JCheckBox binar

check if Godel numbers are to be in binary

twrap

javax.swing.JCheckBox twrap

Check to wrap number rather than having multiple numbers

ohtml

javax.swing.JCheckBox ohtml

Check to generate output in the form of HTML (doesn't work for input)

radx

int radx

radix - swapped between 10 and 2

spct

int spct

counter which is used to put regular nbsp's into html, to help with wrapping

Class godel.Godel2 extends java.applet.Applet implements Serializable

serialVersionUID: 1L

Serialized Fields

cf1

java.awt.Font cf1

prnum

javax.swing.JTextArea prnum

Text area for Godel number of proof

plines

javax.swing.JTextArea plines

Text area for Godel numbers of lines of proof

endflg

boolean endflg

Set when end of proof number reached

but2

javax.swing.plaf.basic.BasicArrowButton but2

Press button to generate proof lines from proof number

THREE

java.math.BigInteger THREE

FOUR

java.math.BigInteger FOUR

vstack

int[] vstack

Stack of bound variables vstack,vlist,vsp and vlp are not currently used

vlist

int[] vlist

List of bound variables relevant to current term

vsp

int vsp

Stack pointer for vstack

vlp

int vlp

Count for vlist

varep

long varep

int form of variable in Ax4 or Ind axioms Will be replaced by Termx

Termx

java.math.BigInteger Termx

replacement term for varep

IntAx

java.math.BigInteger[] IntAx

Godel numbers of integer axioms

line

java.math.BigInteger[] line

Store for Godel numbers of lines of proof

curlin

int curlin

Current line number for lines of proof

Proofin

java.math.BigInteger Proofin

Holds Gödel number of proof (bitstream)

Source

java.math.BigInteger Source

Holds bitstream number to be parsed

binar

javax.swing.JCheckBox binar

radx

int radx

Radix for proof number input (10 or 2)

Class godel.Godel3 extends java.applet.Applet implements Serializable

serialVersionUID: 1L

Serialized Fields

lfile

java.lang.String lfile

Haskell file loaded automatically

vbase

int vbase

counter for int form of variables

finfo

Godel3.Funinfo[] finfo

Store for information about functions

nonf

int nonf

number of functions without a name 2 i.e. !! and (:)

locv

int locv

deplist

int[] deplist

list of numbers of functions used in code

reswords

java.lang.String[] reswords

Reserved words

tokens

char[][] tokens

2 character tokens

FunList

Godel3.IdList FunList

Function names

VarList

Godel3.IdList VarList

Haskell variable names

ResList

java.util.List<E> ResList

Reserved words in List form

Fstore

java.math.BigInteger[] Fstore

Store for code of functions

Cstore

java.math.BigInteger[] Cstore

Store for coded conditions

Estore

int[] Estore

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

Varstore

int[] Varstore

Store for info about Haskell variables Match position in VarList. Stores (int form)*8)+type

but3

javax.swing.JButton but3

Press to encode statement of the form y=f(x) for a function f

but4

javax.swing.JButton but4

Press to encode statement of the form σ₁

but5

javax.swing.JButton but5

Press to encode statement of the form σ₂

fedit

javax.swing.JTextField fedit

Edit area for name of function for y=f(x) encoding

prnum

javax.swing.JTextArea prnum

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

plines

javax.swing.JTextArea plines

Text area for input of Haskell code

strin

java.lang.String strin

Holds the Haskell code

pos

int pos

Current position in strin

fdct

int fdct

Counter for deplist

Csp

int Csp

Stack pointer for CStore

Esp

int Esp

Stack pointer for EStore

InvInp

java.lang.Error InvInp

General compilation error

TypeErr

java.lang.Error TypeErr

More specific type Error

THREE

java.math.BigInteger THREE

FOUR

java.math.BigInteger FOUR

ZERO

java.math.BigInteger ZERO

predefs

java.math.BigInteger predefs

Encoded form of predefined functions

c0

java.math.BigInteger c0

Coded form of zero

Vloc

java.math.BigInteger Vloc

coded form of variable x1 (locv)

Z0

java.math.BigInteger Z0

coded form of first variable (x)

z0

int z0

int form of first variable (x)

finf

Godel3.Funinfo finf

info for function currently being compiled

dep1

java.util.BitSet dep1

Set of function nos. for which dependency calculation has started

dep2

java.util.BitSet dep2

Set of function nos. for which dependency calculation has finished

numc

java.math.BigInteger[] numc

Bitstream forms of 0-3 (0,0',0'',0''')

itype

int itype

Type of current item

curch

char curch

current character

curnum

java.math.BigInteger curnum

current item if it is an integer

curword

java.lang.String curword

current item if it is an identifier

curtok

int curtok

current item if it is a token

Class godel.Num3 extends javax.swing.JPanel implements Serializable

Serialized Fields

norm

javax.swing.JTextField norm

code3

javax.swing.JTextField code3

but1

javax.swing.plaf.basic.BasicArrowButton but1

but2

javax.swing.plaf.basic.BasicArrowButton but2

binar

javax.swing.JCheckBox binar

radx

int radx

rado

int rado

THREE

java.math.BigInteger THREE

FOUR

java.math.BigInteger FOUR