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

S

serialVersionUID - Static variable in class godel.godel1

serialVersionUID - Static variable in class godel.Godel2

serialVersionUID - Static variable in class godel.Godel3.IdList

serialVersionUID - Static variable in class godel.Godel3

Sgetvar(boolean) - Method in class godel.Godel2

Gets variable from input bitstream

shrinkTo(int) - Method in class godel.Godel3.IdList

Shrinks list of strings

sigma(BigInteger) - Method in class godel.Godel3

σ_φ

skipsps() - Method in class godel.Godel3

moves pos to the first non-whitespace character

Source - Variable in class godel.Godel2

Holds bitstream number to be parsed

spct - Variable in class godel.godel1

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

Sterm() - Method in class godel.Godel2

gets a term from the proof bitstream

strin - Variable in class godel.godel1

strin - Variable in class godel.Godel3

Holds the Haskell code

Swff() - Method in class godel.Godel2

Gets a formula from the proof bitstream