godel
Class Godel3.Funinfo

java.lang.Object
  godel.Godel3.Funinfo

Enclosing class:

Godel3

 class Godel3.Funinfo
extends java.lang.Object

Holds information about Haskell function

Field Summary

(package private) java.util.BitSet	dependsOn functions which this one depends upon
(package private) int	Nf ∃ Nf x<Nf ⇒ f(x)=&beta(Yf,Zf,x)
(package private) int	type Type of function 1:integer,2:Duple,3:List,4:Boolean
(package private) int	Yf ∃ Nf x<Nf ⇒ f(x)=&beta(Yf,Zf,x)
(package private) int	Zf ∃ Nf x<Nf ⇒ f(x)=&beta(Yf,Zf,x)

Constructor Summary

Godel3.Funinfo(int typ)

Method Summary

(package private) java.math.BigInteger	beta(int vp, int vx) βf(x)=β(Xf,Yf,x)
(package private) java.math.BigInteger	fvars(java.math.BigInteger code) ∀ Nf,Yf,Zf (code)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

type

int type

Type of function 1:integer,2:Duple,3:List,4:Boolean

Nf

int Nf

∃ Nf x<Nf ⇒ f(x)=&beta(Yf,Zf,x)

Yf

int Yf

∃ Nf x<Nf ⇒ f(x)=&beta(Yf,Zf,x)

Zf

int Zf

∃ Nf x<Nf ⇒ f(x)=&beta(Yf,Zf,x)

dependsOn

java.util.BitSet dependsOn

functions which this one depends upon

Constructor Detail

Godel3.Funinfo

Godel3.Funinfo(int typ)

Method Detail

fvars

java.math.BigInteger fvars(java.math.BigInteger code)

∀ Nf,Yf,Zf (code)

beta

java.math.BigInteger beta(int vp,
                          int vx)

βf(x)=β(Xf,Yf,x)