Class jkp.KifObj
All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class jkp.KifObj

java.lang.Object
   |
   +----jkp.KifObj

public class KifObj
extends Object
The base class for all KIF objects.

Author:
Xiaocheng LUAN


Variable Index

 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
 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

Constructor Index

 o KifObj()

Method Index

 o idToName(int)
 o objName()
 o objType()
 o setType(int)
 o toString()

Variables

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

Constructors

 o KifObj
  public KifObj()

Methods

 o objType
  public int objType()
 o setType
  public void setType(int id)
Parameters:
id - The id number for the classs Generally, this method is called internally upon creation ONLY.
 o objName
  public String objName()
 o toString
  public String toString()
Overrides:
toString in class Object
 o idToName
  public static String idToName(int ID) throws KifRTException

All Packages  Class Hierarchy  This Package  Previous  Next  Index