All Packages Class Hierarchy This Package Previous Next Index
Class jkp.YYtokentypes
java.lang.Object
|
+----jkp.YYtokentypes
- public abstract class YYtokentypes
- extends Object
-
AND
-
-
COND
-
-
CONSTANT
-
-
DEFFUNCTION
-
-
DEFLOGICAL
-
-
DEFOBJECT
-
-
DEFRELATION
-
-
EOF
-
-
EQ
-
-
EQGREATER
-
-
EQLESS
-
-
EQUIV
-
-
EXISTS
-
-
FALSE
-
-
FORALL
-
-
GREATER
-
-
IF
-
-
IMPLIED
-
-
IMPLIES
-
-
INDVAR
-
-
INTEGER
-
-
LESS
-
-
LISTOF
-
-
nontermmax
-
-
nontermmin
-
-
nontermnames
-
-
NOT
-
-
NOTEQ
-
-
nt_form
-
-
nt_funterm
-
-
nt_logconst
-
-
nt_logsent
-
-
nt_relconst
-
-
nt_relop
-
-
nt_relsent
-
-
nt_sentence
-
-
nt_sentseq
-
-
nt_tAND
-
-
nt_tCONSTANT
-
-
nt_tEQ
-
-
nt_tEQGREATER
-
-
nt_tEQLESS
-
-
nt_tEQUIV
-
-
nt_term
-
-
nt_termseq
-
-
nt_tGREATER
-
-
nt_tIMPLIED
-
-
nt_tIMPLIES
-
-
nt_tINDVAR
-
-
nt_tINTEGER
-
-
nt_tLESS
-
-
nt_tLPAREN
-
-
nt_tNOT
-
-
nt_tNOTEQ
-
-
nt_tOR
-
-
nt_tREAL
-
-
nt_tRPAREN
-
-
nt_tSEQVAR
-
-
nt_tSTRING
-
-
OR
-
-
PLACEHOLDER
-
-
QUOTE
-
-
REAL
-
-
SEQVAR
-
-
STRING
-
-
tokenmax
-
-
tokenmin
-
-
tokennames
-
-
Tokentype
-
-
TRUE
-
-
YYEOF
-
-
YYtokentypes()
-
-
()
-
-
nontermname(int)
-
-
tokenname(int)
-
-
tokenname(Integer)
-
EOF
public static final int EOF
tokenmin
public static final int tokenmin
tokenmax
public static final int tokenmax
Tokentype
public static Integer Tokentype[]
YYEOF
public static final Integer YYEOF
INDVAR
public static final Integer INDVAR
SEQVAR
public static final Integer SEQVAR
TRUE
public static final Integer TRUE
FALSE
public static final Integer FALSE
STRING
public static final Integer STRING
INTEGER
public static final Integer INTEGER
REAL
public static final Integer REAL
EQ
public static final Integer EQ
NOTEQ
public static final Integer NOTEQ
IMPLIES
public static final Integer IMPLIES
IMPLIED
public static final Integer IMPLIED
EQUIV
public static final Integer EQUIV
EQLESS
public static final Integer EQLESS
LESS
public static final Integer LESS
EQGREATER
public static final Integer EQGREATER
GREATER
public static final Integer GREATER
QUOTE
public static final Integer QUOTE
FORALL
public static final Integer FORALL
EXISTS
public static final Integer EXISTS
AND
public static final Integer AND
OR
public static final Integer OR
NOT
public static final Integer NOT
IF
public static final Integer IF
COND
public static final Integer COND
LISTOF
public static final Integer LISTOF
DEFOBJECT
public static final Integer DEFOBJECT
DEFFUNCTION
public static final Integer DEFFUNCTION
DEFRELATION
public static final Integer DEFRELATION
DEFLOGICAL
public static final Integer DEFLOGICAL
CONSTANT
public static final Integer CONSTANT
PLACEHOLDER
public static final Integer PLACEHOLDER
tokennames
public static final String tokennames[]
nontermmin
public static final int nontermmin
nontermmax
public static final int nontermmax
nt_form
public static final int nt_form
nt_sentence
public static final int nt_sentence
nt_logconst
public static final int nt_logconst
nt_relsent
public static final int nt_relsent
nt_relconst
public static final int nt_relconst
nt_relop
public static final int nt_relop
nt_logsent
public static final int nt_logsent
nt_sentseq
public static final int nt_sentseq
nt_term
public static final int nt_term
nt_termseq
public static final int nt_termseq
nt_funterm
public static final int nt_funterm
nt_tLPAREN
public static final int nt_tLPAREN
nt_tRPAREN
public static final int nt_tRPAREN
nt_tINDVAR
public static final int nt_tINDVAR
nt_tSEQVAR
public static final int nt_tSEQVAR
nt_tSTRING
public static final int nt_tSTRING
nt_tINTEGER
public static final int nt_tINTEGER
nt_tREAL
public static final int nt_tREAL
nt_tEQ
public static final int nt_tEQ
nt_tNOTEQ
public static final int nt_tNOTEQ
nt_tIMPLIES
public static final int nt_tIMPLIES
nt_tIMPLIED
public static final int nt_tIMPLIED
nt_tEQUIV
public static final int nt_tEQUIV
nt_tEQLESS
public static final int nt_tEQLESS
nt_tLESS
public static final int nt_tLESS
nt_tEQGREATER
public static final int nt_tEQGREATER
nt_tGREATER
public static final int nt_tGREATER
nt_tAND
public static final int nt_tAND
nt_tOR
public static final int nt_tOR
nt_tNOT
public static final int nt_tNOT
nt_tCONSTANT
public static final int nt_tCONSTANT
nontermnames
public static final String nontermnames[]
YYtokentypes
public YYtokentypes()
static void ()
tokenname
public static String tokenname(Integer t)
tokenname
public static String tokenname(int t)
nontermname
public static String nontermname(int t)
All Packages Class Hierarchy This Package Previous Next Index