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

Variable Index

 o AND
 o COND
 o CONSTANT
 o DEFFUNCTION
 o DEFLOGICAL
 o DEFOBJECT
 o DEFRELATION
 o EOF
 o EQ
 o EQGREATER
 o EQLESS
 o EQUIV
 o EXISTS
 o FALSE
 o FORALL
 o GREATER
 o IF
 o IMPLIED
 o IMPLIES
 o INDVAR
 o INTEGER
 o LESS
 o LISTOF
 o NOT
 o NOTEQ
 o OR
 o PLACEHOLDER
 o QUOTE
 o REAL
 o SEQVAR
 o STRING
 o TRUE
 o Tokentype
 o YYEOF
 o nontermmax
 o nontermmin
 o nontermnames
 o nt_form
 o nt_funterm
 o nt_logconst
 o nt_logsent
 o nt_relconst
 o nt_relop
 o nt_relsent
 o nt_sentence
 o nt_sentseq
 o nt_tAND
 o nt_tCONSTANT
 o nt_tEQ
 o nt_tEQGREATER
 o nt_tEQLESS
 o nt_tEQUIV
 o nt_tGREATER
 o nt_tIMPLIED
 o nt_tIMPLIES
 o nt_tINDVAR
 o nt_tINTEGER
 o nt_tLESS
 o nt_tLPAREN
 o nt_tNOT
 o nt_tNOTEQ
 o nt_tOR
 o nt_tREAL
 o nt_tRPAREN
 o nt_tSEQVAR
 o nt_tSTRING
 o nt_term
 o nt_termseq
 o tokenmax
 o tokenmin
 o tokennames

Constructor Index

 o YYtokentypes()

Method Index

 o nontermname(int)
 o tokenname(Integer)
 o tokenname(int)

Variables

 o EOF
  public final static int EOF
 o tokenmin
  public final static int tokenmin
 o tokenmax
  public final static int tokenmax
 o Tokentype
  public static Integer Tokentype[]
 o YYEOF
  public final static Integer YYEOF
 o INDVAR
  public final static Integer INDVAR
 o SEQVAR
  public final static Integer SEQVAR
 o TRUE
  public final static Integer TRUE
 o FALSE
  public final static Integer FALSE
 o STRING
  public final static Integer STRING
 o INTEGER
  public final static Integer INTEGER
 o REAL
  public final static Integer REAL
 o EQ
  public final static Integer EQ
 o NOTEQ
  public final static Integer NOTEQ
 o IMPLIES
  public final static Integer IMPLIES
 o IMPLIED
  public final static Integer IMPLIED
 o EQUIV
  public final static Integer EQUIV
 o EQLESS
  public final static Integer EQLESS
 o LESS
  public final static Integer LESS
 o EQGREATER
  public final static Integer EQGREATER
 o GREATER
  public final static Integer GREATER
 o QUOTE
  public final static Integer QUOTE
 o FORALL
  public final static Integer FORALL
 o EXISTS
  public final static Integer EXISTS
 o AND
  public final static Integer AND
 o OR
  public final static Integer OR
 o NOT
  public final static Integer NOT
 o IF
  public final static Integer IF
 o COND
  public final static Integer COND
 o LISTOF
  public final static Integer LISTOF
 o DEFOBJECT
  public final static Integer DEFOBJECT
 o DEFFUNCTION
  public final static Integer DEFFUNCTION
 o DEFRELATION
  public final static Integer DEFRELATION
 o DEFLOGICAL
  public final static Integer DEFLOGICAL
 o CONSTANT
  public final static Integer CONSTANT
 o PLACEHOLDER
  public final static Integer PLACEHOLDER
 o tokennames
  public final static String tokennames[]
 o nontermmin
  public final static int nontermmin
 o nontermmax
  public final static int nontermmax
 o nt_form
  public final static int nt_form
 o nt_sentence
  public final static int nt_sentence
 o nt_logconst
  public final static int nt_logconst
 o nt_relsent
  public final static int nt_relsent
 o nt_relconst
  public final static int nt_relconst
 o nt_relop
  public final static int nt_relop
 o nt_logsent
  public final static int nt_logsent
 o nt_sentseq
  public final static int nt_sentseq
 o nt_term
  public final static int nt_term
 o nt_termseq
  public final static int nt_termseq
 o nt_funterm
  public final static int nt_funterm
 o nt_tLPAREN
  public final static int nt_tLPAREN
 o nt_tRPAREN
  public final static int nt_tRPAREN
 o nt_tINDVAR
  public final static int nt_tINDVAR
 o nt_tSEQVAR
  public final static int nt_tSEQVAR
 o nt_tSTRING
  public final static int nt_tSTRING
 o nt_tINTEGER
  public final static int nt_tINTEGER
 o nt_tREAL
  public final static int nt_tREAL
 o nt_tEQ
  public final static int nt_tEQ
 o nt_tNOTEQ
  public final static int nt_tNOTEQ
 o nt_tIMPLIES
  public final static int nt_tIMPLIES
 o nt_tIMPLIED
  public final static int nt_tIMPLIED
 o nt_tEQUIV
  public final static int nt_tEQUIV
 o nt_tEQLESS
  public final static int nt_tEQLESS
 o nt_tLESS
  public final static int nt_tLESS
 o nt_tEQGREATER
  public final static int nt_tEQGREATER
 o nt_tGREATER
  public final static int nt_tGREATER
 o nt_tAND
  public final static int nt_tAND
 o nt_tOR
  public final static int nt_tOR
 o nt_tNOT
  public final static int nt_tNOT
 o nt_tCONSTANT
  public final static int nt_tCONSTANT
 o nontermnames
  public final static String nontermnames[]

Constructors

 o YYtokentypes
  public YYtokentypes()

Methods

 o tokenname
  public static String tokenname(Integer t)
 o tokenname
  public static String tokenname(int t)
 o nontermname
  public static String nontermname(int t)

All Packages  Class Hierarchy  This Package  Previous  Next  Index