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