public interface LTLParserConstants
Modifier and Type | Field and Description |
---|---|
static int |
ASSIGN |
static int |
ATEID |
static int |
BAR |
static int |
COLON |
static int |
COMMA |
static int |
DEFAULT |
static int |
DESC_LITERAL |
static int |
DIGIT |
static int |
DOT |
static int |
EOF |
static int |
EQ |
static int |
EXPONENT |
static int |
GE |
static int |
GT |
static int |
ID |
static int |
IDENTIFIER |
static int |
IN_SINGLE_LINE_COMMENT |
static int |
INTEGER_LITERAL |
static int |
KAS |
static int |
KATE |
static int |
KDATE |
static int |
KEXISTS |
static int |
KFORALL |
static int |
KFORMULA |
static int |
KIN |
static int |
KNUMBER |
static int |
KPI |
static int |
KRENAME |
static int |
KSET |
static int |
KSTRING |
static int |
KSUBFORMULA |
static int |
LALWAYS |
static int |
LBRACE |
static int |
LBRACKET |
static int |
LE |
static int |
LETTER |
static int |
LEVENTUALLY |
static int |
LNEXTTIME |
static int |
LPAREN |
static int |
LT |
static int |
LUNTIL |
static int |
MINUS |
static int |
NE |
static int |
PAND |
static int |
PBIIMPLIES |
static int |
PIID |
static int |
PIMPLIES |
static int |
PLUS |
static int |
PNOT |
static int |
POR |
static int |
RBRACE |
static int |
RBRACKET |
static int |
REAL_LITERAL |
static int |
REQ |
static int |
RPAREN |
static int |
SEMICOLON |
static int |
SINGLE_LINE_COMMENT |
static int |
SLASH |
static int |
STAR |
static int |
STARTLETTER |
static int |
STRING_LITERAL |
static java.lang.String[] |
tokenImage |
static int |
URI |
static final int EOF
static final int SINGLE_LINE_COMMENT
static final int KAS
static final int KATE
static final int KDATE
static final int KEXISTS
static final int KFORALL
static final int KFORMULA
static final int KIN
static final int KNUMBER
static final int KPI
static final int KRENAME
static final int KSET
static final int KSTRING
static final int KSUBFORMULA
static final int INTEGER_LITERAL
static final int REAL_LITERAL
static final int EXPONENT
static final int STRING_LITERAL
static final int DESC_LITERAL
static final int PIID
static final int ATEID
static final int ID
static final int IDENTIFIER
static final int STARTLETTER
static final int LETTER
static final int DIGIT
static final int LPAREN
static final int RPAREN
static final int LBRACE
static final int RBRACE
static final int LBRACKET
static final int RBRACKET
static final int BAR
static final int SEMICOLON
static final int COMMA
static final int DOT
static final int COLON
static final int ASSIGN
static final int GT
static final int LT
static final int PNOT
static final int SLASH
static final int PLUS
static final int MINUS
static final int STAR
static final int EQ
static final int LE
static final int GE
static final int NE
static final int REQ
static final int POR
static final int PAND
static final int PIMPLIES
static final int PBIIMPLIES
static final int LALWAYS
static final int LEVENTUALLY
static final int LNEXTTIME
static final int LUNTIL
static final int URI
static final int DEFAULT
static final int IN_SINGLE_LINE_COMMENT
static final java.lang.String[] tokenImage