    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

##

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

##

KifObj()

##

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

##

KIF_SEQ

      public final static int KIF_SEQ

KIF_SEQVAR

      public final static int KIF_SEQVAR

KIF_INDVARTERM

      public final static int KIF_INDVARTERM

KIF_STRINGTERM

      public final static int KIF_STRINGTERM

KIF_OBJCONSTTERM

      public final static int KIF_OBJCONSTTERM

KIF_FUNTERM

      public final static int KIF_FUNTERM

KIF_REALTERM

      public final static int KIF_REALTERM

KIF_INTTERM

      public final static int KIF_INTTERM

KIF_LOGCONST

      public final static int KIF_LOGCONST

KIF_RELSENT

      public final static int KIF_RELSENT

KIF_NEGATION

      public final static int KIF_NEGATION

KIF_CONJUNCTION

      public final static int KIF_CONJUNCTION

KIF_DISJUNCTION

      public final static int KIF_DISJUNCTION

KIF_IMPLICATION

      public final static int KIF_IMPLICATION

KIF_EQUIVALENCE

      public final static int KIF_EQUIVALENCE

KIF_HORNSENT

      public final static int KIF_HORNSENT

KIF_MIN_OP

      public final static int KIF_MIN_OP

KIFOP_MIN_TERM_OP

      public final static int KIFOP_MIN_TERM_OP

KIFOP_LISTOF

      public final static int KIFOP_LISTOF

KIFOP_QUOTE

      public final static int KIFOP_QUOTE

KIFOP_IF

      public final static int KIFOP_IF

KIFOP_COND

      public final static int KIFOP_COND

KIFOP_MAX_TERM_OP

      public final static int KIFOP_MAX_TERM_OP

KIFOP_MIN_SENT_OP

      public final static int KIFOP_MIN_SENT_OP

KIFOP_SENTEQ

      public final static int KIFOP_SENTEQ

KIFOP_SENTNOTEQ

      public final static int KIFOP_SENTNOTEQ

KIFOP_NOT

      public final static int KIFOP_NOT

KIFOP_AND

      public final static int KIFOP_AND

KIFOP_OR

      public final static int KIFOP_OR

KIFOP_IMPLIES

      public final static int KIFOP_IMPLIES

KIFOP_IMPLIED

      public final static int KIFOP_IMPLIED

KIFOP_EQUIV

      public final static int KIFOP_EQUIV

KIFOP_FORALL

      public final static int KIFOP_FORALL

KIFOP_EXISTS

      public final static int KIFOP_EXISTS

KIFOP_MAX_SENT_OP

      public final static int KIFOP_MAX_SENT_OP

KIFOP_MIN_DEFOP

      public final static int KIFOP_MIN_DEFOP

KIFOP_DEFOBJECT

      public final static int KIFOP_DEFOBJECT

KIFOP_DEFUNCTION

      public final static int KIFOP_DEFUNCTION

KIFOP_DEFRELATION

      public final static int KIFOP_DEFRELATION

KIFOP_MAX_DEFOP

      public final static int KIFOP_MAX_DEFOP

KIFOP_MIN_NUM_OP

      public final static int KIFOP_MIN_NUM_OP

KIFOP_NUMEQ

      public final static int KIFOP_NUMEQ

KIFOP_NUMNEQ

      public final static int KIFOP_NUMNEQ

KIFOP_LESS

      public final static int KIFOP_LESS

KIFOP_GREATER

      public final static int KIFOP_GREATER

KIFOP_EQLESS

      public final static int KIFOP_EQLESS

KIFOP_EQGREATER

      public final static int KIFOP_EQGREATER

##

KifObj

      public KifObj()

##

objType

      public int objType()

setType

      public void setType(int id)

Parameters:
  id - The id number for the classs Generally, this method is called internally upon creation ONLY.

objName

      public String objName()

toString

      public String toString()

Overrides:
  toString in class Object

idToName

      public static String idToName(int ID) throws KifRTException

    All Packages  Class Hierarchy  This Package  Previous  Next  Index