efgconst.h

Gambit 是一个游戏库理论软件

//
// $Source: /home/gambit/CVS/gambit/sources/gui/efgconst.h,v $
// $Date: 2002/09/09 02:02:50 $
// $Revision: 1.29.2.1 $
//
// DESCRIPTION:
// Declaration of constants used for extensive form menu items
//
// This file is part of Gambit
// Copyright (c) 2002, The Gambit Project
//
// This program is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
//

#ifndef EFGCONST_H
#define EFGCONST_H

typedef enum {
  efgmenuEDIT_INSERT = 1100,
  efgmenuEDIT_DELETE = 1101,
  efgmenuEDIT_REVEAL = 1407,
  efgmenuEDIT_TOGGLE_SUBGAME = 1410,
  efgmenuEDIT_MARK_SUBGAME_TREE = 1411,
  efgmenuEDIT_UNMARK_SUBGAME_TREE = 1412,
  efgmenuEDIT_GAME = 1419,
  efgmenuEDIT_NODE = 1420,
  efgmenuEDIT_MOVE = 1421,

  efgmenuVIEW_PROFILES = 1850,
  efgmenuVIEW_NAVIGATION = 1860,
  efgmenuVIEW_OUTCOMES = 1861,
  efgmenuVIEW_SUPPORTS = 1862,
  efgmenuVIEW_ZOOMIN = 1601,
  efgmenuVIEW_ZOOMOUT = 1602,
  efgmenuVIEW_SUPPORT_REACHABLE = 1814,

  efgmenuFORMAT_DISPLAY = 1603,
  efgmenuFORMAT_DISPLAY_LAYOUT = 1620,
  efgmenuFORMAT_DISPLAY_LEGEND = 1604,
  efgmenuFORMAT_DISPLAY_COLORS = 1621,
  efgmenuFORMAT_DISPLAY_DECIMALS = 1618,
  efgmenuFORMAT_FONTS = 1612,
  efgmenuFORMAT_FONTS_ABOVENODE = 1613,
  efgmenuFORMAT_FONTS_BELOWNODE = 1614,
  efgmenuFORMAT_FONTS_AFTERNODE = 1615,
  efgmenuFORMAT_FONTS_ABOVEBRANCH = 1616,
  efgmenuFORMAT_FONTS_BELOWBRANCH = 1617,

  efgmenuTOOLS_DOMINANCE = 1800,
  efgmenuTOOLS_EQUILIBRIUM = 1801,
  efgmenuTOOLS_QRE = 1802,
  efgmenuTOOLS_NFG = 1521,
  efgmenuTOOLS_NFG_REDUCED = 1504,
  efgmenuTOOLS_NFG_AGENT = 1519,

  // Menu items for support window
  efgmenuSUPPORT_DUPLICATE = 2020,
  efgmenuSUPPORT_DELETE = 2021,
  
  // Menu items for profiles window
  efgmenuPROFILES_NEW = 2001,
  efgmenuPROFILES_DUPLICATE = 2002,
  efgmenuPROFILES_DELETE = 2003,
  efgmenuPROFILES_PROPERTIES = 2004,
  efgmenuPROFILES_REPORT = 2005
} guiEfgMenuItems;


#endif // EFGCONST_H