net.sf.tweety.logics.fol.parser

Interface FolParserBConstants

All Known Implementing Classes:

FolParserB, FolParserBTokenManager

public interface FolParserBConstants

Token literal values and constants. Generated by org.javacc.parser.OtherFilesGen#start()

Field Summary

Fields

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 String[]	tokenImage Literal token values.
static int	TYPE RegularExpression Id.
static int	UCHAR RegularExpression Id.
static int	VARIABLE RegularExpression Id.

Field Detail

EOF

static final int EOF

End of File.

See Also:

Constant Field Values

FORALL

static final int FORALL

RegularExpression Id.

See Also:

Constant Field Values

EXISTS

static final int EXISTS

RegularExpression Id.

See Also:

Constant Field Values

TYPE

static final int TYPE

RegularExpression Id.

See Also:

Constant Field Values

DDOT

static final int DDOT

RegularExpression Id.

See Also:

Constant Field Values

EQUAL

static final int EQUAL

RegularExpression Id.

See Also:

Constant Field Values

OR

static final int OR

RegularExpression Id.

See Also:

Constant Field Values

AND

static final int AND

RegularExpression Id.

See Also:

Constant Field Values

NOT

static final int NOT

RegularExpression Id.

See Also:

Constant Field Values

TAUTOLOGY

static final int TAUTOLOGY

RegularExpression Id.

See Also:

Constant Field Values

CONTRADICTION

static final int CONTRADICTION

RegularExpression Id.

See Also:

Constant Field Values

LBRA

static final int LBRA

RegularExpression Id.

See Also:

Constant Field Values

RBRA

static final int RBRA

RegularExpression Id.

See Also:

Constant Field Values

SQLBRA

static final int SQLBRA

RegularExpression Id.

See Also:

Constant Field Values

SQRBRA

static final int SQRBRA

RegularExpression Id.

See Also:

Constant Field Values

CURLBRA

static final int CURLBRA

RegularExpression Id.

See Also:

Constant Field Values

CURRBRA

static final int CURRBRA

RegularExpression Id.

See Also:

Constant Field Values

NUMBER

static final int NUMBER

RegularExpression Id.

See Also:

Constant Field Values

CONSTANT

static final int CONSTANT

RegularExpression Id.

See Also:

Constant Field Values

VARIABLE

static final int VARIABLE

RegularExpression Id.

See Also:

Constant Field Values

SYMBOL

static final int SYMBOL

RegularExpression Id.

See Also:

Constant Field Values

LCHAR

static final int LCHAR

RegularExpression Id.

See Also:

Constant Field Values

UCHAR

static final int UCHAR

RegularExpression Id.

See Also:

Constant Field Values

COMMA

static final int COMMA

RegularExpression Id.

See Also:

Constant Field Values

DIGIT

static final int DIGIT

RegularExpression Id.

See Also:

Constant Field Values

DEFAULT

static final int DEFAULT

Lexical state.

See Also:

Constant Field Values

tokenImage

static final String[] tokenImage

Literal token values.