com.grack.prologmachine
Class IntegerNumber

java.lang.Object
  |
  +--com.grack.prologmachine.IntegerNumber

public class IntegerNumber
extends java.lang.Object
implements Unifiable


Field Summary
 int _value
           
 
Constructor Summary
IntegerNumber(int value)
           
 
Method Summary
 double getValue()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

_value

public int _value
Constructor Detail

IntegerNumber

public IntegerNumber(int value)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getValue

public double getValue()