org.processmining.ltl2automaton.plugins.cup_parser

Interface ParserSym

All Known Subinterfaces:

sym

public interface ParserSym

CUP generated interface containing symbol constants.

Field Summary

Fields

Modifier and Type	Field and Description
static int	AND
static int	EOF
static int	EQUALS
static int	error
static int	FALSE
static int	FUTURE
static int	GLOBALLY
static int	ID
static int	IMPLIES
static int	LPAREN
static int	NEXT
static int	NOT
static int	OR
static int	RELEASES
static int	RPAREN
static int	TRUE
static int	UNTIL
static int	WNEXT
static int	WRELEASES
static int	WUNTIL

Field Detail

RELEASES

static final int RELEASES

See Also:

Constant Field Values

AND

static final int AND

See Also:

Constant Field Values

OR

static final int OR

See Also:

Constant Field Values

RPAREN

static final int RPAREN

See Also:

Constant Field Values

NOT

static final int NOT

See Also:

Constant Field Values

WUNTIL

static final int WUNTIL

See Also:

Constant Field Values

TRUE

static final int TRUE

See Also:

Constant Field Values

FUTURE

static final int FUTURE

See Also:

Constant Field Values

IMPLIES

static final int IMPLIES

See Also:

Constant Field Values

LPAREN

static final int LPAREN

See Also:

Constant Field Values

ID

static final int ID

See Also:

Constant Field Values

WRELEASES

static final int WRELEASES

See Also:

Constant Field Values

EQUALS

static final int EQUALS

See Also:

Constant Field Values

GLOBALLY

static final int GLOBALLY

See Also:

Constant Field Values

EOF

static final int EOF

See Also:

Constant Field Values

WNEXT

static final int WNEXT

See Also:

Constant Field Values

FALSE

static final int FALSE

See Also:

Constant Field Values

error

static final int error

See Also:

Constant Field Values

UNTIL

static final int UNTIL

See Also:

Constant Field Values

NEXT

static final int NEXT

See Also:

Constant Field Values