    All Packages  Class Hierarchy

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

# Index of all Fields and Methods

## A

_kifObj. Static variable in class jkp.KifResult
_result. Static variable in class jkp.KifParser
_sentence. Variable in class jkp.KifLogSent
_sentSeq. Variable in class jkp.KifLogSent
_termString. Variable in class jkp.KifTerm
  For indvar, string and objconst, it is the corresponding string.

## A

AND. Static variable in class jkp.YYlex
AND. Static variable in class jkp.YYparse
AND. Static variable in class jkp.YYtokentypes
antecedenceSeq(). Method in class jkp.KifHornSent
antecedenceSeq(). Method in class jkp.KifImplication
append(KifObj). Method in class jkp.KifSeq
append(KifSeq). Method in class jkp.KifSeq

## B

BEGIN(int). Method in class jkp.YYlex
boolValue(). Method in class jkp.KifLogConst

## C

car(). Method in class jkp.KifSeq
cdr(). Method in class jkp.KifSeq
charno(). Method in class jkp.YYlex
charno0(). Method in class jkp.YYlex
COND. Static variable in class jkp.YYlex
COND. Static variable in class jkp.YYparse
COND. Static variable in class jkp.YYtokentypes
conjuncSeq(). Method in class jkp.KifConjunction
consequenceSent(). Method in class jkp.KifHornSent
consequenceSent(). Method in class jkp.KifImplication
CONSTANT. Static variable in class jkp.YYlex
CONSTANT. Static variable in class jkp.YYparse
CONSTANT. Static variable in class jkp.YYtokentypes

## D

DEFFUNCTION. Static variable in class jkp.YYlex
DEFFUNCTION. Static variable in class jkp.YYparse
DEFFUNCTION. Static variable in class jkp.YYtokentypes
DEFLOGICAL. Static variable in class jkp.YYlex
DEFLOGICAL. Static variable in class jkp.YYparse
DEFLOGICAL. Static variable in class jkp.YYtokentypes
DEFOBJECT. Static variable in class jkp.YYlex
DEFOBJECT. Static variable in class jkp.YYparse
DEFOBJECT. Static variable in class jkp.YYtokentypes
DEFRELATION. Static variable in class jkp.YYlex
DEFRELATION. Static variable in class jkp.YYparse
DEFRELATION. Static variable in class jkp.YYtokentypes
disjuncSeq(). Method in class jkp.KifDisjunction
do_action. Static variable in class jkp.YYlex
dollar(int). Method in class jkp.YYparse

## E

EOB_ACT_CONTINUE_SCAN. Static variable in class jkp.YYlex
EOB_ACT_END_OF_FILE. Static variable in class jkp.YYlex
EOB_ACT_LAST_MATCH. Static variable in class jkp.YYlex
EOF. Static variable in class jkp.YYlex
EOF. Static variable in class jkp.YYtokentypes
EQ. Static variable in class jkp.YYlex
EQ. Static variable in class jkp.YYparse
EQ. Static variable in class jkp.YYtokentypes
EQGREATER. Static variable in class jkp.YYlex
EQGREATER. Static variable in class jkp.YYparse
EQGREATER. Static variable in class jkp.YYtokentypes
EQLESS. Static variable in class jkp.YYlex
EQLESS. Static variable in class jkp.YYparse
EQLESS. Static variable in class jkp.YYtokentypes
EQUIV. Static variable in class jkp.YYlex
EQUIV. Static variable in class jkp.YYparse
EQUIV. Static variable in class jkp.YYtokentypes
EXISTS. Static variable in class jkp.YYlex
EXISTS. Static variable in class jkp.YYparse
EXISTS. Static variable in class jkp.YYtokentypes

## F

FALSE. Static variable in class jkp.YYlex
FALSE. Static variable in class jkp.YYparse
FALSE. Static variable in class jkp.YYtokentypes
floatValue(). Method in class jkp.KifTerm
FORALL. Static variable in class jkp.YYlex
FORALL. Static variable in class jkp.YYparse
FORALL. Static variable in class jkp.YYtokentypes
funconst(). Method in class jkp.KifFunTerm

## G

getMessage(). Method in class jkp.KifException
getMessage(). Method in class jkp.KifRTException
Goto. Variable in class jkp.YYlex
Goto. Variable in class jkp.YYparse
GREATER. Static variable in class jkp.YYlex
GREATER. Static variable in class jkp.YYparse
GREATER. Static variable in class jkp.YYtokentypes

## I

idToName(int). Static method in class jkp.KifObj
IF. Static variable in class jkp.YYlex
IF. Static variable in class jkp.YYparse
IF. Static variable in class jkp.YYtokentypes
IMPLIED. Static variable in class jkp.YYlex
IMPLIED. Static variable in class jkp.YYparse
IMPLIED. Static variable in class jkp.YYtokentypes
IMPLIES. Static variable in class jkp.YYlex
IMPLIES. Static variable in class jkp.YYparse
IMPLIES. Static variable in class jkp.YYtokentypes
INDVAR. Static variable in class jkp.YYlex
INDVAR. Static variable in class jkp.YYparse
INDVAR. Static variable in class jkp.YYtokentypes
INITIAL. Static variable in class jkp.YYlex
INTEGER. Static variable in class jkp.YYlex
INTEGER. Static variable in class jkp.YYparse
INTEGER. Static variable in class jkp.YYtokentypes
intValue(). Method in class jkp.KifTerm
isEmpty(). Method in class jkp.KifSeq
ithObj(int). Method in class jkp.KifSeq

## K

KIF_CONJUNCTION. Static variable in class jkp.KifObj
KIF_DISJUNCTION. Static variable in class jkp.KifObj
KIF_EQUIVALENCE. Static variable in class jkp.KifObj
KIF_FUNTERM. Static variable in class jkp.KifObj
KIF_HORNSENT. Static variable in class jkp.KifObj
KIF_IMPLICATION. Static variable in class jkp.KifObj
KIF_INDVARTERM. Static variable in class jkp.KifObj
KIF_INTTERM. Static variable in class jkp.KifObj
KIF_LOGCONST. Static variable in class jkp.KifObj
KIF_MIN_OP. Static variable in class jkp.KifObj
KIF_NEGATION. Static variable in class jkp.KifObj
KIF_OBJCONSTTERM. Static variable in class jkp.KifObj
KIF_REALTERM. Static variable in class jkp.KifObj
KIF_RELSENT. Static variable in class jkp.KifObj
KIF_SEQ. Static variable in class jkp.KifObj
KIF_SEQVAR. Static variable in class jkp.KifObj
KIF_STRINGTERM. Static variable in class jkp.KifObj
KifConjunction(KifSent, KifSeq). Constructor for class jkp.KifConjunction
KifConjunction(KifSeq). Constructor for class jkp.KifConjunction
KifDisjunction(KifSent, KifSeq). Constructor for class jkp.KifDisjunction
KifDisjunction(KifSeq). Constructor for class jkp.KifDisjunction
KifEquivalence(KifSent, KifSent). Constructor for class jkp.KifEquivalence
KifException(). Constructor for class jkp.KifException
KifException(String). Constructor for class jkp.KifException
KifForm(). Constructor for class jkp.KifForm
KifFunTerm(String). Constructor for class jkp.KifFunTerm
KifFunTerm(String, KifSeq). Constructor for class jkp.KifFunTerm
KifHornSent(KifRelSent). Constructor for class jkp.KifHornSent
KifHornSent(KifRelSent, KifSeq). Constructor for class jkp.KifHornSent
KifHornSent(KifSeq). Constructor for class jkp.KifHornSent
KifImplication(KifSent). Constructor for class jkp.KifImplication
  of type (=> sentence) or (<= sentence).
KifImplication(KifSent, KifSeq). Constructor for class jkp.KifImplication
KifIndvar(String). Constructor for class jkp.KifIndvar
KifInt(int). Constructor for class jkp.KifInt
KifInt(String). Constructor for class jkp.KifInt
KifLogConst(boolean). Constructor for class jkp.KifLogConst
KifLogConst(String). Constructor for class jkp.KifLogConst
KifLogSent(). Constructor for class jkp.KifLogSent
KifNegation(KifSent). Constructor for class jkp.KifNegation
KifObj(). Constructor for class jkp.KifObj
KifObjConst(String). Constructor for class jkp.KifObjConst
KIFOP_AND. Static variable in class jkp.KifObj
KIFOP_COND. Static variable in class jkp.KifObj
KIFOP_DEFOBJECT. Static variable in class jkp.KifObj
KIFOP_DEFRELATION. Static variable in class jkp.KifObj
KIFOP_DEFUNCTION. Static variable in class jkp.KifObj
KIFOP_EQGREATER. Static variable in class jkp.KifObj
KIFOP_EQLESS. Static variable in class jkp.KifObj
KIFOP_EQUIV. Static variable in class jkp.KifObj
KIFOP_EXISTS. Static variable in class jkp.KifObj
KIFOP_FORALL. Static variable in class jkp.KifObj
KIFOP_GREATER. Static variable in class jkp.KifObj
KIFOP_IF. Static variable in class jkp.KifObj
KIFOP_IMPLIED. Static variable in class jkp.KifObj
KIFOP_IMPLIES. Static variable in class jkp.KifObj
KIFOP_LESS. Static variable in class jkp.KifObj
KIFOP_LISTOF. Static variable in class jkp.KifObj
KIFOP_MAX_DEFOP. Static variable in class jkp.KifObj
KIFOP_MAX_SENT_OP. Static variable in class jkp.KifObj
KIFOP_MAX_TERM_OP. Static variable in class jkp.KifObj
KIFOP_MIN_DEFOP. Static variable in class jkp.KifObj
KIFOP_MIN_NUM_OP. Static variable in class jkp.KifObj
KIFOP_MIN_SENT_OP. Static variable in class jkp.KifObj
KIFOP_MIN_TERM_OP. Static variable in class jkp.KifObj
KIFOP_NOT. Static variable in class jkp.KifObj
KIFOP_NUMEQ. Static variable in class jkp.KifObj
KIFOP_NUMNEQ. Static variable in class jkp.KifObj
KIFOP_OR. Static variable in class jkp.KifObj
KIFOP_QUOTE. Static variable in class jkp.KifObj
KIFOP_SENTEQ. Static variable in class jkp.KifObj
KIFOP_SENTNOTEQ. Static variable in class jkp.KifObj
KifOperator(int). Constructor for class jkp.KifOperator
KifParser(). Constructor for class jkp.KifParser
KifReal(float). Constructor for class jkp.KifReal
KifReal(String). Constructor for class jkp.KifReal
KifRelSent(String). Constructor for class jkp.KifRelSent
KifRelSent(String, KifSeq). Constructor for class jkp.KifRelSent
KifResult(). Constructor for class jkp.KifResult
KifRTException(). Constructor for class jkp.KifRTException
KifRTException(String). Constructor for class jkp.KifRTException
KifSent(). Constructor for class jkp.KifSent
KifSeq(). Constructor for class jkp.KifSeq
KifSeq(KifObj). Constructor for class jkp.KifSeq
  Create an instance of KifSeq with only one object in the sequence.
KifSeq(KifObj, KifSeq). Constructor for class jkp.KifSeq
  Create an instance of KifSeq with the given object as the first object in the sequence, and objects in the given sequence as the subsequent object in the sequence.
KifSeq(KifSeq). Constructor for class jkp.KifSeq
  Create a new copy of the given sequence.
KifSeq(KifSeq, KifObj). Constructor for class jkp.KifSeq
  Append the given object to the given sequence to get a new sequence.
KifSeqvar(String). Constructor for class jkp.KifSeqvar
KifString(String). Constructor for class jkp.KifString
KifTerm(). Constructor for class jkp.KifTerm
KifTerm(String). Constructor for class jkp.KifTerm

## L

leftSent(). Method in class jkp.KifEquivalence
LESS. Static variable in class jkp.YYlex
LESS. Static variable in class jkp.YYparse
LESS. Static variable in class jkp.YYtokentypes
lexeme. Variable in class jkp.YYlex
lineno(). Method in class jkp.YYlex
LISTOF. Static variable in class jkp.YYlex
LISTOF. Static variable in class jkp.YYparse
LISTOF. Static variable in class jkp.YYtokentypes

## M

Main(). Constructor for class jkp.Main
main(String[]). Static method in class jkp.Main

## N

nontermmax. Static variable in class jkp.YYtokentypes
nontermmin. Static variable in class jkp.YYtokentypes
nontermname(int). Static method in class jkp.YYtokentypes
nontermnames. Static variable in class jkp.YYtokentypes
NOT. Static variable in class jkp.YYlex
NOT. Static variable in class jkp.YYparse
NOT. Static variable in class jkp.YYtokentypes
NOTEQ. Static variable in class jkp.YYlex
NOTEQ. Static variable in class jkp.YYparse
NOTEQ. Static variable in class jkp.YYtokentypes
nt_form. Static variable in class jkp.YYtokentypes
nt_funterm. Static variable in class jkp.YYtokentypes
nt_logconst. Static variable in class jkp.YYtokentypes
nt_logsent. Static variable in class jkp.YYtokentypes
nt_relconst. Static variable in class jkp.YYtokentypes
nt_relop. Static variable in class jkp.YYtokentypes
nt_relsent. Static variable in class jkp.YYtokentypes
nt_sentence. Static variable in class jkp.YYtokentypes
nt_sentseq. Static variable in class jkp.YYtokentypes
nt_tAND. Static variable in class jkp.YYtokentypes
nt_tCONSTANT. Static variable in class jkp.YYtokentypes
nt_tEQ. Static variable in class jkp.YYtokentypes
nt_tEQGREATER. Static variable in class jkp.YYtokentypes
nt_tEQLESS. Static variable in class jkp.YYtokentypes
nt_tEQUIV. Static variable in class jkp.YYtokentypes
nt_term. Static variable in class jkp.YYtokentypes
nt_termseq. Static variable in class jkp.YYtokentypes
nt_tGREATER. Static variable in class jkp.YYtokentypes
nt_tIMPLIED. Static variable in class jkp.YYtokentypes
nt_tIMPLIES. Static variable in class jkp.YYtokentypes
nt_tINDVAR. Static variable in class jkp.YYtokentypes
nt_tINTEGER. Static variable in class jkp.YYtokentypes
nt_tLESS. Static variable in class jkp.YYtokentypes
nt_tLPAREN. Static variable in class jkp.YYtokentypes
nt_tNOT. Static variable in class jkp.YYtokentypes
nt_tNOTEQ. Static variable in class jkp.YYtokentypes
nt_tOR. Static variable in class jkp.YYtokentypes
nt_tREAL. Static variable in class jkp.YYtokentypes
nt_tRPAREN. Static variable in class jkp.YYtokentypes
nt_tSEQVAR. Static variable in class jkp.YYtokentypes
nt_tSTRING. Static variable in class jkp.YYtokentypes

## O

objConst(). Method in class jkp.KifObjConst
objName(). Method in class jkp.KifObj
objType(). Method in class jkp.KifObj
opToString(int). Static method in class jkp.KifOperator
OR. Static variable in class jkp.YYlex
OR. Static variable in class jkp.YYparse
OR. Static variable in class jkp.YYtokentypes

## P

parse(InputStream). Static method in class jkp.KifParser
parse(String). Static method in class jkp.KifParser
  This is the method you should call when you want to parse a kif string.
parseResult(). Method in class jkp.KifResult
PLACEHOLDER. Static variable in class jkp.YYlex
PLACEHOLDER. Static variable in class jkp.YYparse
PLACEHOLDER. Static variable in class jkp.YYtokentypes
printKifObj(). Static method in class jkp.KifResult
printResult(). Static method in class jkp.KifParser
  For debug only.

## Q

QUOTE. Static variable in class jkp.YYlex
QUOTE. Static variable in class jkp.YYparse
QUOTE. Static variable in class jkp.YYtokentypes

## R

REAL. Static variable in class jkp.YYlex
REAL. Static variable in class jkp.YYparse
REAL. Static variable in class jkp.YYtokentypes
relConst(). Method in class jkp.KifRelSent
rightSent(). Method in class jkp.KifEquivalence

## S

sentence(). Method in class jkp.KifLogSent
sentenceSeq(). Method in class jkp.KifLogSent
SEQVAR. Static variable in class jkp.YYlex
SEQVAR. Static variable in class jkp.YYparse
SEQVAR. Static variable in class jkp.YYtokentypes
setdebug(boolean). Method in class jkp.YYlex
setdebug(boolean). Method in class jkp.YYparse
setdebug(int). Method in class jkp.YYlex
setdebug(int). Method in class jkp.YYparse
setType(int). Method in class jkp.KifObj
size(). Method in class jkp.KifSeq
stackdump(String). Method in class jkp.YYparse
STRING. Static variable in class jkp.YYlex
STRING. Static variable in class jkp.YYparse
STRING. Static variable in class jkp.YYtokentypes

## T

termSeq(). Method in class jkp.KifFunTerm
termSeq(). Method in class jkp.KifRelSent
termString(). Method in class jkp.KifTerm
tokenmax. Static variable in class jkp.YYtokentypes
tokenmin. Static variable in class jkp.YYtokentypes
tokenname(int). Static method in class jkp.YYtokentypes
tokenname(Integer). Static method in class jkp.YYtokentypes
tokennames. Static variable in class jkp.YYtokentypes
Tokentype. Static variable in class jkp.YYtokentypes
toString(). Method in class jkp.KifConjunction
toString(). Method in class jkp.KifDisjunction
toString(). Method in class jkp.KifEquivalence
toString(). Method in class jkp.KifFunTerm
toString(). Method in class jkp.KifHornSent
toString(). Method in class jkp.KifImplication
toString(). Method in class jkp.KifLogConst
toString(). Method in class jkp.KifNegation
toString(). Method in class jkp.KifObj
toString(). Method in class jkp.KifOperator
toString(). Method in class jkp.KifRelSent
toString(). Method in class jkp.KifSeq
toString(). Method in class jkp.KifSeqvar
toString(). Method in class jkp.KifTerm
TRUE. Static variable in class jkp.YYlex
TRUE. Static variable in class jkp.YYparse
TRUE. Static variable in class jkp.YYtokentypes

## V

varName(). Method in class jkp.KifIndvar
varName(). Method in class jkp.KifSeqvar

## Y

yy_accept. Static variable in class jkp.YYlex
YY_AT_BOL(). Method in class jkp.YYlex
yy_base. Static variable in class jkp.YYlex
YY_BUF_SIZE. Static variable in class jkp.YYlex
YY_BUFFER_EOF_PENDING. Static variable in class jkp.YYlex
YY_BUFFER_NEW. Static variable in class jkp.YYlex
YY_BUFFER_NORMAL. Static variable in class jkp.YYlex
yy_chk. Static variable in class jkp.YYlex
yy_def. Static variable in class jkp.YYlex
yy_ec. Static variable in class jkp.YYlex
YY_END_OF_BUFFER. Static variable in class jkp.YYlex
YY_END_OF_BUFFER_CHAR. Static variable in class jkp.YYlex
yy_find_action. Static variable in class jkp.YYlex
YY_FLEX_MAJOR_VERSION. Static variable in class jkp.YYlex
YY_FLEX_MINOR_VERSION. Static variable in class jkp.YYlex
yy_match. Static variable in class jkp.YYlex
yy_meta. Static variable in class jkp.YYlex
YY_MORE_ADJ. Static variable in class jkp.YYlex
YY_NULL. Static variable in class jkp.YYlex
YY_NUM_RULES. Static variable in class jkp.YYlex
yy_nxt. Static variable in class jkp.YYlex
yy_pop_state(). Method in class jkp.YYlex
yy_push_state(int). Method in class jkp.YYlex
YY_READ_BUF_SIZE. Static variable in class jkp.YYlex
YY_SC_TO_UI(char). Method in class jkp.YYlex
yy_set_bol(boolean). Method in class jkp.YYlex
yy_set_interactive(boolean). Method in class jkp.YYlex
YY_SPECIAL. Static variable in class jkp.YYlex
YY_START(). Method in class jkp.YYlex
YY_START_STACK_INCR. Static variable in class jkp.YYlex
YY_STATE_EOF(int). Method in class jkp.YYlex
yy_top_state(). Method in class jkp.YYlex
YYABORT. Static variable in class jkp.YYparse
YYACCEPT. Static variable in class jkp.YYparse
yybackup. Static variable in class jkp.YYparse
yybegin(int). Method in class jkp.YYlex
yychar. Variable in class jkp.YYparse
yychar1. Variable in class jkp.YYparse
yycheck. Static variable in class jkp.YYparse
YYCONTINUE. Static variable in class jkp.YYparse
yydebug. Variable in class jkp.YYlex
yydebug. Variable in class jkp.YYparse
yydefact. Static variable in class jkp.YYparse
yydefault. Static variable in class jkp.YYparse
yydefgoto. Static variable in class jkp.YYparse
YYEMPTY. Static variable in class jkp.YYparse
YYEOF. Static variable in class jkp.YYparse
YYEOF. Static variable in class jkp.YYtokentypes
yyerrdefault. Static variable in class jkp.YYparse
yyerrhandle. Static variable in class jkp.YYparse
yyerrlab. Static variable in class jkp.YYparse
yyerrlab1. Static variable in class jkp.YYparse
yyerror(String). Method in class jkp.YYparse
yyerror(String, boolean). Method in class jkp.YYparse
yyerror(String, boolean, boolean). Method in class jkp.YYparse
yyerror_verbose(String). Method in class jkp.YYparse
yyerrpop. Static variable in class jkp.YYparse
yyerrstatus. Variable in class jkp.YYparse
yyfatalerror(String). Method in class jkp.YYlex
YYFINAL. Static variable in class jkp.YYparse
YYFLAG. Static variable in class jkp.YYparse
YYLAST. Static variable in class jkp.YYparse
yylen. Variable in class jkp.YYparse
yylex. Variable in class jkp.YYparse
yylex(). Method in class jkp.YYlex
YYlex(). Constructor for class jkp.YYlex
YYlex(InputStream). Constructor for class jkp.YYlex
YYlex(InputStream, PrintStream). Constructor for class jkp.YYlex
yylexerror(String). Method in class jkp.YYlex
yyloc. Variable in class jkp.YYparse
yylval. Variable in class jkp.YYparse
yyn. Variable in class jkp.YYparse
yynerrs. Variable in class jkp.YYparse
yynewstate. Static variable in class jkp.YYparse
yynobranch. Static variable in class jkp.YYlex
YYNTBASE. Static variable in class jkp.YYparse
yyout. Variable in class jkp.YYparse
yypact. Static variable in class jkp.YYparse
yyparse(). Method in class jkp.YYparse
YYparse(YYlex). Constructor for class jkp.YYparse
YYparse(YYlex, PrintStream). Constructor for class jkp.YYparse
yypgoto. Static variable in class jkp.YYparse
yyprhs. Static variable in class jkp.YYparse
yyr1. Static variable in class jkp.YYparse
yyr2. Static variable in class jkp.YYparse
yyreduce. Static variable in class jkp.YYparse
yyreport(YYtoken). Method in class jkp.YYlex
yyreturn. Variable in class jkp.YYparse
yyreturn(int). Method in class jkp.YYlex
yyreturn(int). Method in class jkp.YYparse
yyreturn(Integer). Method in class jkp.YYlex
yyrhs. Static variable in class jkp.YYparse
yyrline. Static variable in class jkp.YYparse
yyss. Variable in class jkp.YYparse
yystate. Variable in class jkp.YYparse
yytable. Static variable in class jkp.YYparse
YYTERRCODE. Static variable in class jkp.YYparse
YYTERROR. Static variable in class jkp.YYparse
yytext. Variable in class jkp.YYparse
yytext(). Method in class jkp.YYlex
yytname. Static variable in class jkp.YYparse
YYtokentypes(). Constructor for class jkp.YYtokentypes
yytranslate. Static variable in class jkp.YYparse
yyval. Variable in class jkp.YYparse
yyverror(String). Method in class jkp.YYparse
yyvs. Variable in class jkp.YYparse