Pandora.LogicParser
Class sym

java.lang.Object
  Pandora.LogicParser.sym

public class sym
extends java.lang.Object

CUP generated class containing symbol constants.

Field Summary

static int	AND
static int	BOTTOM
static int	COMMA
static int	EOF
static int	EQUALS
static int	error
static int	EXISTS
static int	FORALL
static int	IDENT
static int	IFF
static int	IMPLIES
static int	LPAREN
static int	LSQB
static int	NOT
static int	NOTEQUALS
static int	NOTNOT
static int	OR
static int	RPAREN
static int	RSQB
static int	SK
static int	TOP

Constructor Summary

sym()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

AND

public static final int AND

See Also:

Constant Field Values

FORALL

public static final int FORALL

See Also:

Constant Field Values

IDENT

public static final int IDENT

See Also:

Constant Field Values

OR

public static final int OR

See Also:

Constant Field Values

RPAREN

public static final int RPAREN

See Also:

Constant Field Values

NOT

public static final int NOT

See Also:

Constant Field Values

RSQB

public static final int RSQB

See Also:

Constant Field Values

IMPLIES

public static final int IMPLIES

See Also:

Constant Field Values

LPAREN

public static final int LPAREN

See Also:

Constant Field Values

BOTTOM

public static final int BOTTOM

See Also:

Constant Field Values

LSQB

public static final int LSQB

See Also:

Constant Field Values

NOTEQUALS

public static final int NOTEQUALS

See Also:

Constant Field Values

EQUALS

public static final int EQUALS

See Also:

Constant Field Values

COMMA

public static final int COMMA

See Also:

Constant Field Values

EOF

public static final int EOF

See Also:

Constant Field Values

SK

public static final int SK

See Also:

Constant Field Values

TOP

public static final int TOP

See Also:

Constant Field Values

EXISTS

public static final int EXISTS

See Also:

Constant Field Values

error

public static final int error

See Also:

Constant Field Values

IFF

public static final int IFF

See Also:

Constant Field Values

NOTNOT

public static final int NOTNOT

See Also:

Constant Field Values

Constructor Detail

sym

public sym()