tptp_parser

Interface TptpTokenTypes

All Known Implementing Classes:

TptpLexer, TptpParser

public interface TptpTokenTypes

Field Summary

Fields

Modifier and Type	Field and Description
static int	ALL
static int	AND
static int	APPLY
static int	ASSIGN
static int	BIGPI
static int	BIGSIGMA
static int	CHOICE
static int	COLON
static int	COMMA
static int	DESCRIPTION
static int	DISEQUIVALENCE
static int	DISTINCT_OBJECT
static int	DOLLAR_DOLLAR_WORD
static int	DOLLAR_WORD
static int	DOT
static int	EOF
static int	EQUAL
static int	EQUIVALENCE
static int	EXIST
static int	IMPLICATION
static int	INTEGER
static int	LAMBDA
static int	LOWER_WORD
static int	LPR
static int	LSB
static int	MANY_LINE_COMMENT
static int	MAP
static int	MINUSMINUS
static int	NOT_AND
static int	NOT_OR
static int	NOTEQUAL
static int	NULL_TREE_LOOKAHEAD
static int	ONE_LINE_COMMENT
static int	PLUS
static int	PLUSPLUS
static int	RATIONAL
static int	REAL
static int	REVERSE_IMPLICATION
static int	RPR
static int	RSB
static int	SEQUENT
static int	SINGLE_QUOTED
static int	SMALLPI
static int	SMALLSIGMA
static int	STAR
static int	SUBTYPE
static int	TILDA
static int	UNSIGNED_INTEGER
static int	UPPER_WORD
static int	VLINE
static int	WHITESPACE

Field Detail

EOF

static final int EOF

See Also:

Constant Field Values

NULL_TREE_LOOKAHEAD

static final int NULL_TREE_LOOKAHEAD

See Also:

Constant Field Values

INTEGER

static final int INTEGER

See Also:

Constant Field Values

UNSIGNED_INTEGER

static final int UNSIGNED_INTEGER

See Also:

Constant Field Values

RATIONAL

static final int RATIONAL

See Also:

Constant Field Values

REAL

static final int REAL

See Also:

Constant Field Values

LOWER_WORD

static final int LOWER_WORD

See Also:

Constant Field Values

SINGLE_QUOTED

static final int SINGLE_QUOTED

See Also:

Constant Field Values

DOLLAR_WORD

static final int DOLLAR_WORD

See Also:

Constant Field Values

DOLLAR_DOLLAR_WORD

static final int DOLLAR_DOLLAR_WORD

See Also:

Constant Field Values

AND

static final int AND

See Also:

Constant Field Values

VLINE

static final int VLINE

See Also:

Constant Field Values

EQUAL

static final int EQUAL

See Also:

Constant Field Values

IMPLICATION

static final int IMPLICATION

See Also:

Constant Field Values

DISEQUIVALENCE

static final int DISEQUIVALENCE

See Also:

Constant Field Values

NOT_OR

static final int NOT_OR

See Also:

Constant Field Values

NOT_AND

static final int NOT_AND

See Also:

Constant Field Values

EQUIVALENCE

static final int EQUIVALENCE

See Also:

Constant Field Values

REVERSE_IMPLICATION

static final int REVERSE_IMPLICATION

See Also:

Constant Field Values

LPR

static final int LPR

See Also:

Constant Field Values

RPR

static final int RPR

See Also:

Constant Field Values

COMMA

static final int COMMA

See Also:

Constant Field Values

DISTINCT_OBJECT

static final int DISTINCT_OBJECT

See Also:

Constant Field Values

UPPER_WORD

static final int UPPER_WORD

See Also:

Constant Field Values

NOTEQUAL

static final int NOTEQUAL

See Also:

Constant Field Values

APPLY

static final int APPLY

See Also:

Constant Field Values

MAP

static final int MAP

See Also:

Constant Field Values

STAR

static final int STAR

See Also:

Constant Field Values

PLUS

static final int PLUS

See Also:

Constant Field Values

SUBTYPE

static final int SUBTYPE

See Also:

Constant Field Values

COLON

static final int COLON

See Also:

Constant Field Values

ASSIGN

static final int ASSIGN

See Also:

Constant Field Values

TILDA

static final int TILDA

See Also:

Constant Field Values

SMALLPI

static final int SMALLPI

See Also:

Constant Field Values

SMALLSIGMA

static final int SMALLSIGMA

See Also:

Constant Field Values

LSB

static final int LSB

See Also:

Constant Field Values

RSB

static final int RSB

See Also:

Constant Field Values

ALL

static final int ALL

See Also:

Constant Field Values

EXIST

static final int EXIST

See Also:

Constant Field Values

LAMBDA

static final int LAMBDA

See Also:

Constant Field Values

BIGPI

static final int BIGPI

See Also:

Constant Field Values

BIGSIGMA

static final int BIGSIGMA

See Also:

Constant Field Values

CHOICE

static final int CHOICE

See Also:

Constant Field Values

DESCRIPTION

static final int DESCRIPTION

See Also:

Constant Field Values

SEQUENT

static final int SEQUENT

See Also:

Constant Field Values

PLUSPLUS

static final int PLUSPLUS

See Also:

Constant Field Values

MINUSMINUS

static final int MINUSMINUS

See Also:

Constant Field Values

DOT

static final int DOT

See Also:

Constant Field Values

ONE_LINE_COMMENT

static final int ONE_LINE_COMMENT

See Also:

Constant Field Values

MANY_LINE_COMMENT

static final int MANY_LINE_COMMENT

See Also:

Constant Field Values

WHITESPACE

static final int WHITESPACE

See Also:

Constant Field Values