Godel3.TExpr

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

godel
Class Godel3.TExpr

java.lang.Object
  godel.Godel3.TExpr

Holds an encoded representation of an expression

Field Summary
`(package private) int`	`type` Type of expression 1:integer,2:Duple,3:List,4:Boolean
`(package private) java.math.BigInteger`	`value` Encoded representation of expression

Constructor Summary
`Godel3.TExpr(java.math.BigInteger v, int t)`

Method Summary

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Field Detail

java.math.BigInteger value

Encoded representation of expression

int type

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

Constructor Detail

Godel3.TExpr(java.math.BigInteger v,
             int t)