All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class jkp.KifObj 

java.lang.Object
   |
   +----jkp.KifObj
public abstract class KifObj
extends Object
The base class for all KIF objects.

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

Author:
Xiaocheng Luan

Variable Index

o _KifObjName
o _name
o _typeID
o KIF_CONJUNCTION
o KIF_DISJUNCTION
o KIF_EQUIVALENCE
o KIF_FUNTERM
o KIF_HORNSENT
o KIF_IMPLICATION
o KIF_INDVARTERM
o KIF_INTTERM
o KIF_LOGCONST
o KIF_MIN_OP
o KIF_NEGATION
o KIF_OBJCONSTTERM
o KIF_REALTERM
o KIF_RELSENT
o KIF_SEQ
o KIF_SEQVAR
o KIF_STRINGTERM
o KIFOP_AND
o KIFOP_COND
o KIFOP_DEFOBJECT
o KIFOP_DEFRELATION
o KIFOP_DEFUNCTION
o KIFOP_EQGREATER
o KIFOP_EQLESS
o KIFOP_EQUIV
o KIFOP_EXISTS
o KIFOP_FORALL
o KIFOP_GREATER
o KIFOP_IF
o KIFOP_IMPLIED
o KIFOP_IMPLIES
o KIFOP_LESS
o KIFOP_LISTOF
o KIFOP_MAX_DEFOP
o KIFOP_MAX_SENT_OP
o KIFOP_MAX_TERM_OP
o KIFOP_MIN_DEFOP
o KIFOP_MIN_NUM_OP
o KIFOP_MIN_SENT_OP
o KIFOP_MIN_TERM_OP
o KIFOP_NOT
o KIFOP_NUMEQ
o KIFOP_NUMNEQ
o KIFOP_OR
o KIFOP_QUOTE
o KIFOP_SENTEQ
o KIFOP_SENTNOTEQ

Constructor Index

o KifObj()
A constructor that does nothing.

Method Index

o idToName(int)
Get the object name with given type ID.
o objName()
Get the name this KIF object.
o objType()
Get the type ID of this KIF object.
o setType(int)
Set the type ID.
o toString()
Convert this KIF object into String format.

Variables

o _typeID 
 private int _typeID
o _name 
 private String _name
o KIF_SEQ 
 public static final int KIF_SEQ
o KIF_SEQVAR 
 public static final int KIF_SEQVAR
o KIF_INDVARTERM 
 public static final int KIF_INDVARTERM
o KIF_STRINGTERM 
 public static final int KIF_STRINGTERM
o KIF_OBJCONSTTERM 
 public static final int KIF_OBJCONSTTERM
o KIF_FUNTERM 
 public static final int KIF_FUNTERM
o KIF_REALTERM 
 public static final int KIF_REALTERM
o KIF_INTTERM 
 public static final int KIF_INTTERM
o KIF_LOGCONST 
 public static final int KIF_LOGCONST
o KIF_RELSENT 
 public static final int KIF_RELSENT
o KIF_NEGATION 
 public static final int KIF_NEGATION
o KIF_CONJUNCTION 
 public static final int KIF_CONJUNCTION
o KIF_DISJUNCTION 
 public static final int KIF_DISJUNCTION
o KIF_IMPLICATION 
 public static final int KIF_IMPLICATION
o KIF_EQUIVALENCE 
 public static final int KIF_EQUIVALENCE
o KIF_HORNSENT 
 public static final int KIF_HORNSENT
o KIF_MIN_OP 
 public static final int KIF_MIN_OP
o KIFOP_MIN_TERM_OP 
 public static final int KIFOP_MIN_TERM_OP
o KIFOP_LISTOF 
 public static final int KIFOP_LISTOF
o KIFOP_QUOTE 
 public static final int KIFOP_QUOTE
o KIFOP_IF 
 public static final int KIFOP_IF
o KIFOP_COND 
 public static final int KIFOP_COND
o KIFOP_MAX_TERM_OP 
 public static final int KIFOP_MAX_TERM_OP
o KIFOP_MIN_SENT_OP 
 public static final int KIFOP_MIN_SENT_OP
o KIFOP_SENTEQ 
 public static final int KIFOP_SENTEQ
o KIFOP_SENTNOTEQ 
 public static final int KIFOP_SENTNOTEQ
o KIFOP_NOT 
 public static final int KIFOP_NOT
o KIFOP_AND 
 public static final int KIFOP_AND
o KIFOP_OR 
 public static final int KIFOP_OR
o KIFOP_IMPLIES 
 public static final int KIFOP_IMPLIES
o KIFOP_IMPLIED 
 public static final int KIFOP_IMPLIED
o KIFOP_EQUIV 
 public static final int KIFOP_EQUIV
o KIFOP_FORALL 
 public static final int KIFOP_FORALL
o KIFOP_EXISTS 
 public static final int KIFOP_EXISTS
o KIFOP_MAX_SENT_OP 
 public static final int KIFOP_MAX_SENT_OP
o KIFOP_MIN_DEFOP 
 public static final int KIFOP_MIN_DEFOP
o KIFOP_DEFOBJECT 
 public static final int KIFOP_DEFOBJECT
o KIFOP_DEFUNCTION 
 public static final int KIFOP_DEFUNCTION
o KIFOP_DEFRELATION 
 public static final int KIFOP_DEFRELATION
o KIFOP_MAX_DEFOP 
 public static final int KIFOP_MAX_DEFOP
o KIFOP_MIN_NUM_OP 
 public static final int KIFOP_MIN_NUM_OP
o KIFOP_NUMEQ 
 public static final int KIFOP_NUMEQ
o KIFOP_NUMNEQ 
 public static final int KIFOP_NUMNEQ
o KIFOP_LESS 
 public static final int KIFOP_LESS
o KIFOP_GREATER 
 public static final int KIFOP_GREATER
o KIFOP_EQLESS 
 public static final int KIFOP_EQLESS
o KIFOP_EQGREATER 
 public static final int KIFOP_EQGREATER
o _KifObjName 
 private static KifObjName _KifObjName[]

Constructors

o KifObj 
 public KifObj()
A constructor that does nothing.

Methods

o objType 
 public int objType()
Get the type ID of this KIF object. Type IDs of various of Kif objects are defined in this class. you are encouraged to use InstanceOf operator instead of this method.

Returns:
the type ID of this KIF object.
o setType 
 public void setType(int id)
Set the type ID. Generally, this method is called internally upon creation ONLY.

Parameters:
id - The id number for the classs
o objName 
 public String objName()
Get the name this KIF object.

Returns:
the name of this KIF object.
See Also:
KifObjName
o toString 
 public String toString()
Convert this KIF object into String format. Subclasses are supposed to overide this method.

Returns:
this KIF object in String format.
Overrides:
toString in class Object
o idToName 
 public static String idToName(int ID) throws KifRTException
Get the object name with given type ID.

Returns:
the type ID. 
All Packages  Class Hierarchy  This Package  Previous  Next  Index