information about the different tools.
![]() | ToolType Definitions of the different editors (tools) that are implemented. |
information about the different tools.
enum ToolType
static bool TableEditor(int tool)
static bool DiagramEditor(int tool)
static bool TreeEditor(int tool)
static bool TextEditor(int tool)
static bool EditorWithoutCurves(int tool)
static bool EditorWithoutDuplicates(int tool)
static bool HierarchicEditor(int tool)
static bool GenericEditor(int tool)
static bool EditorWithInterEdgeConnections(int tool)
static bool EditorWithModelChecker(int tool)
static const char STARTUP_TOOL_NAME[]
static const char* TOOL_TITLES[]
static const char* TOOL_NAMES[]
static const char* EXECUTABLE_NAMES[]
static const char* DOCUMENT_TYPES[]
static const char* DOCUMENT_SUFFIXES[]
static const char DOCUMENT_DEFAULT[]
static const char* DOCUMENT_TYPES_INFO[]
alphabetic index hierarchy of classes
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de