All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----jkp.KifObj
public final static int KIF_SEQ
public final static int KIF_SEQVAR
public final static int KIF_INDVARTERM
public final static int KIF_STRINGTERM
public final static int KIF_OBJCONSTTERM
public final static int KIF_FUNTERM
public final static int KIF_REALTERM
public final static int KIF_INTTERM
public final static int KIF_LOGCONST
public final static int KIF_RELSENT
public final static int KIF_NEGATION
public final static int KIF_CONJUNCTION
public final static int KIF_DISJUNCTION
public final static int KIF_IMPLICATION
public final static int KIF_EQUIVALENCE
public final static int KIF_HORNSENT
public final static int KIF_MIN_OP
public final static int KIFOP_MIN_TERM_OP
public final static int KIFOP_LISTOF
public final static int KIFOP_QUOTE
public final static int KIFOP_IF
public final static int KIFOP_COND
public final static int KIFOP_MAX_TERM_OP
public final static int KIFOP_MIN_SENT_OP
public final static int KIFOP_SENTEQ
public final static int KIFOP_SENTNOTEQ
public final static int KIFOP_NOT
public final static int KIFOP_AND
public final static int KIFOP_OR
public final static int KIFOP_IMPLIES
public final static int KIFOP_IMPLIED
public final static int KIFOP_EQUIV
public final static int KIFOP_FORALL
public final static int KIFOP_EXISTS
public final static int KIFOP_MAX_SENT_OP
public final static int KIFOP_MIN_DEFOP
public final static int KIFOP_DEFOBJECT
public final static int KIFOP_DEFUNCTION
public final static int KIFOP_DEFRELATION
public final static int KIFOP_MAX_DEFOP
public final static int KIFOP_MIN_NUM_OP
public final static int KIFOP_NUMEQ
public final static int KIFOP_NUMNEQ
public final static int KIFOP_LESS
public final static int KIFOP_GREATER
public final static int KIFOP_EQLESS
public final static int KIFOP_EQGREATER
public KifObj()
public int objType()
public void setType(int id)
public String objName()
public String toString()
public static String idToName(int ID) throws KifRTException
All Packages Class Hierarchy This Package Previous Next Index