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