    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

##

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

CONSTANT

     public static final Integer CONSTANT

VARIABLE

     public static final Integer VARIABLE

NOT

     public static final Integer NOT

IMPLIES

     public static final Integer IMPLIES

IFF

     public static final Integer IFF

XOR

     public static final Integer XOR

AND

     public static final Integer AND

OR

     public static final Integer OR

FORALL

     public static final Integer FORALL

EXISTS

     public static final Integer EXISTS

LIST

     public static final Integer LIST

TERM

     public static final Integer TERM

LITERAL

     public static final Integer LITERAL

FORMULA

     public static final Integer FORMULA

CLAUSE

     public static final Integer CLAUSE

CLAUSESET

     public static final Integer CLAUSESET

FORMS

     public static final Integer FORMS

tokennames

     public static final String tokennames[]

nontermmin

     public static final int nontermmin

nontermmax

     public static final int nontermmax

nt_FOPLObject

     public static final int nt_FOPLObject

nt_FOPLFormList

     public static final int nt_FOPLFormList

nt_FOPLClauseList

     public static final int nt_FOPLClauseList

nt_FOPLFormula

     public static final int nt_FOPLFormula

nt_FOPLBFormula

     public static final int nt_FOPLBFormula

nt_FOPL1FormList

     public static final int nt_FOPL1FormList

nt_FOPLmulticon

     public static final int nt_FOPLmulticon

nt_FOPLbincon

     public static final int nt_FOPLbincon

nt_FOPLquant

     public static final int nt_FOPLquant

nt_LVon

     public static final int nt_LVon

nt_LVoff

     public static final int nt_LVoff

nt_FOPL1VarSpecList

     public static final int nt_FOPL1VarSpecList

nt_FOPLVarSpec

     public static final int nt_FOPLVarSpec

nt_FOPLClause

     public static final int nt_FOPLClause

nt_SignedLit0List

     public static final int nt_SignedLit0List

nt_SignedLit

     public static final int nt_SignedLit

nt_FOPLBLiteral

     public static final int nt_FOPLBLiteral

nt_FOPLTerm

     public static final int nt_FOPLTerm

nt_FOPL1TermList

     public static final int nt_FOPL1TermList

nt_FOPL0TermList

     public static final int nt_FOPL0TermList

nt_tVARIABLE

     public static final int nt_tVARIABLE

nt_tCONSTANT

     public static final int nt_tCONSTANT

nontermnames

     public static final 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