All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class JavaAgent.resource.fopl.YYtokentypes 

java.lang.Object
   |
   +----JavaAgent.resource.fopl.YYtokentypes
public abstract class YYtokentypes
extends Object

Variable Index

o AND
o CLAUSE
o CLAUSESET
o CONSTANT
o EOF
o EXISTS
o FORALL
o FORMS
o FORMULA
o IFF
o IMPLIES
o LIST
o LITERAL
o nontermmax
o nontermmin
o nontermnames
o NOT
o nt_FOPL0TermList
o nt_FOPL1FormList
o nt_FOPL1TermList
o nt_FOPL1VarSpecList
o nt_FOPLBFormula
o nt_FOPLbincon
o nt_FOPLBLiteral
o nt_FOPLClause
o nt_FOPLClauseList
o nt_FOPLFormList
o nt_FOPLFormula
o nt_FOPLmulticon
o nt_FOPLObject
o nt_FOPLquant
o nt_FOPLTerm
o nt_FOPLVarSpec
o nt_LVoff
o nt_LVon
o nt_SignedLit
o nt_SignedLit0List
o nt_tCONSTANT
o nt_tVARIABLE
o OR
o TERM
o tokenmax
o tokenmin
o tokennames
o Tokentype
o VARIABLE
o XOR
o YYEOF

Constructor Index

o YYtokentypes()

Method Index

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

Variables

o EOF 
 public static final int EOF
o tokenmin 
 public static final int tokenmin
o tokenmax 
 public static final int tokenmax
o Tokentype 
 public static Integer Tokentype[]
o YYEOF 
 public static final Integer YYEOF
o CONSTANT 
 public static final Integer CONSTANT
o VARIABLE 
 public static final Integer VARIABLE
o NOT 
 public static final Integer NOT
o IMPLIES 
 public static final Integer IMPLIES
o IFF 
 public static final Integer IFF
o XOR 
 public static final Integer XOR
o AND 
 public static final Integer AND
o OR 
 public static final Integer OR
o FORALL 
 public static final Integer FORALL
o EXISTS 
 public static final Integer EXISTS
o LIST 
 public static final Integer LIST
o TERM 
 public static final Integer TERM
o LITERAL 
 public static final Integer LITERAL
o FORMULA 
 public static final Integer FORMULA
o CLAUSE 
 public static final Integer CLAUSE
o CLAUSESET 
 public static final Integer CLAUSESET
o FORMS 
 public static final Integer FORMS
o tokennames 
 public static final String tokennames[]
o nontermmin 
 public static final int nontermmin
o nontermmax 
 public static final int nontermmax
o nt_FOPLObject 
 public static final int nt_FOPLObject
o nt_FOPLFormList 
 public static final int nt_FOPLFormList
o nt_FOPLClauseList 
 public static final int nt_FOPLClauseList
o nt_FOPLFormula 
 public static final int nt_FOPLFormula
o nt_FOPLBFormula 
 public static final int nt_FOPLBFormula
o nt_FOPL1FormList 
 public static final int nt_FOPL1FormList
o nt_FOPLmulticon 
 public static final int nt_FOPLmulticon
o nt_FOPLbincon 
 public static final int nt_FOPLbincon
o nt_FOPLquant 
 public static final int nt_FOPLquant
o nt_LVon 
 public static final int nt_LVon
o nt_LVoff 
 public static final int nt_LVoff
o nt_FOPL1VarSpecList 
 public static final int nt_FOPL1VarSpecList
o nt_FOPLVarSpec 
 public static final int nt_FOPLVarSpec
o nt_FOPLClause 
 public static final int nt_FOPLClause
o nt_SignedLit0List 
 public static final int nt_SignedLit0List
o nt_SignedLit 
 public static final int nt_SignedLit
o nt_FOPLBLiteral 
 public static final int nt_FOPLBLiteral
o nt_FOPLTerm 
 public static final int nt_FOPLTerm
o nt_FOPL1TermList 
 public static final int nt_FOPL1TermList
o nt_FOPL0TermList 
 public static final int nt_FOPL0TermList
o nt_tVARIABLE 
 public static final int nt_tVARIABLE
o nt_tCONSTANT 
 public static final int nt_tCONSTANT
o nontermnames 
 public static final 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