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

V

value - Variable in class godel.Godel3.TExpr

Encoded representation of expression

Varb(long) - Method in class godel.Godel2

Converts int form of a variable bitstream form.

varb(int) - Method in class godel.Godel3

varb0(int) - Method in class godel.Godel3

varep - Variable in class godel.Godel2

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

VarList - Variable in class godel.Godel3

Haskell variable names

Varstore - Variable in class godel.Godel3

Store for info about Haskell variables Match position in VarList.

vbase - Variable in class godel.Godel3

counter for int form of variables

vform(BigInteger) - Method in class godel.Godel3

Creates (if needed) a variable equal to a given term

vlist - Variable in class godel.Godel2

List of bound variables relevant to current term

Vloc - Variable in class godel.Godel3

coded form of variable x1 (locv)

vlp - Variable in class godel.Godel2

Count for vlist

vsp - Variable in class godel.Godel2

Stack pointer for vstack

vstack - Variable in class godel.Godel2

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