# -----------------------------------------------------------------------------
#                                  LTL -> NBA
#              Copyright (C) Carsten Fritz, Björn Teegen 2002-2003
#               Sponsored by Deutsche Forschungsgemeinschaft (DFG)
#     Distributed under the terms of the GNU Lesser General Public License
#         See the files README.txt and LICENSE.txt for more information
# -----------------------------------------------------------------------------

DEBUG       = 0

EXISTENTIAL = 0
UNIVERSAL   = 1
NOT_FINAL   = 0
FINAL       = 1

D           = 0
S           = 1
X           = 0
Y           = 1

FALSE       = 0
TRUE        = 1

#
# Constants for entries in Position-Tuples.
#

POS_PRIORITY = 0
POS_B        = 1
POS_P        = 2
POS_Q	     = 3
POS_A	     = 4
POS_S	     = 5
POS_PLAYER   = POS_S
POS_X	     = 6
POS_D	     = 7
POS_Y	     = 8

#POS_POSITION = 0
#POS_PLAYER   = 1
#POS_PRIORITY = 2



