All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class jkp.KifInt 

java.lang.Object
   |
   +----jkp.KifObj
           |
           +----jkp.KifTerm
                   |
                   +----jkp.KifInt
public class KifInt
extends KifTerm
The class for KIF term of integer number.

Copyright (c) 1996, Xiaocheng Luan. All rights reserved.

Author:
Xiaocheng Luan

Constructor Index

o KifInt(int)
Create a KifInt from a integer number.
o KifInt(String)
Create a KifInt from a integer in its string format.

Constructors

o KifInt 
 public KifInt(String intString)
Create a KifInt from a integer in its string format.

Parameters:
intString - the integer in string format.
o KifInt 
 public KifInt(int intValue)
Create a KifInt from a integer number.

Parameters:
intValue - the integer in value. 
All Packages  Class Hierarchy  This Package  Previous  Next  Index