org.semanticweb.lp
Class IntegerTerm

java.lang.Object
  extended byorg.semanticweb.lp.Term
      extended byorg.semanticweb.lp.IntegerTerm
All Implemented Interfaces:
java.io.Serializable

public class IntegerTerm
extends Term
implements java.io.Serializable

Description of the Class

Author:
Administrator
See Also:
Serialized Form

Constructor Summary
IntegerTerm(int value)
          Constructor for the IntegerTerm object
 
Method Summary
 int getValue()
          Gets the value attribute of the IntegerTerm object
 java.lang.String toString()
          Description of the Method
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IntegerTerm

public IntegerTerm(int value)
Constructor for the IntegerTerm object

Parameters:
value - Description of the Parameter
Method Detail

getValue

public int getValue()
Gets the value attribute of the IntegerTerm object

Returns:
The value value

toString

public java.lang.String toString()
Description of the Method

Returns:
Description of the Return Value