public interface FolParserBConstants
Modifier and Type | Field and Description |
---|---|
static int |
AND
RegularExpression Id.
|
static int |
COMMA
RegularExpression Id.
|
static int |
CONSTANT
RegularExpression Id.
|
static int |
CONTRADICTION
RegularExpression Id.
|
static int |
CURLBRA
RegularExpression Id.
|
static int |
CURRBRA
RegularExpression Id.
|
static int |
DDOT
RegularExpression Id.
|
static int |
DEFAULT
Lexical state.
|
static int |
DIGIT
RegularExpression Id.
|
static int |
EOF
End of File.
|
static int |
EQUAL
RegularExpression Id.
|
static int |
EXISTS
RegularExpression Id.
|
static int |
FORALL
RegularExpression Id.
|
static int |
LBRA
RegularExpression Id.
|
static int |
LCHAR
RegularExpression Id.
|
static int |
NOT
RegularExpression Id.
|
static int |
NUMBER
RegularExpression Id.
|
static int |
OR
RegularExpression Id.
|
static int |
RBRA
RegularExpression Id.
|
static int |
SQLBRA
RegularExpression Id.
|
static int |
SQRBRA
RegularExpression Id.
|
static int |
SYMBOL
RegularExpression Id.
|
static int |
TAUTOLOGY
RegularExpression Id.
|
static java.lang.String[] |
tokenImage
Literal token values.
|
static int |
TYPE
RegularExpression Id.
|
static int |
UCHAR
RegularExpression Id.
|
static int |
VARIABLE
RegularExpression Id.
|
static final int EOF
static final int FORALL
static final int EXISTS
static final int TYPE
static final int DDOT
static final int EQUAL
static final int OR
static final int AND
static final int NOT
static final int TAUTOLOGY
static final int CONTRADICTION
static final int LBRA
static final int RBRA
static final int SQLBRA
static final int SQRBRA
static final int CURLBRA
static final int CURRBRA
static final int NUMBER
static final int CONSTANT
static final int VARIABLE
static final int SYMBOL
static final int LCHAR
static final int UCHAR
static final int COMMA
static final int DIGIT
static final int DEFAULT
static final java.lang.String[] tokenImage