/**CFile*******************************************************************
  PackageName [versis]
  Synopsis    [Package 'versis' provides basic tools for formal
               verification of concurrent systems]

  FileName    [versisStubInit.c]
  Revision    [$Revision: 76 $]
  Date        [$Date: 2013-04-26 14:26:09 +0200 (pet, 26 apr 2013) $]
  Authors     [Robert Meolic (meolic@uni-mb.si),
               Mirjam Sepesy Maucec (mirjam.sepesy@uni-mb.si),
               Tatjana Kapus (kapus@uni-mb.si)]
  Description [Generated by genStubs.tcl, see http://wiki.tcl.tk/3358]
  SeeAlso     [versis.h, versis.decls, versisDecls.h, versisStubLib.c]

  Copyright   [This file is part of EST (Efficient Symbolic Tools).
               Copyright (C) 2003, 2013
               UM-FERI, Smetanova ulica 17, SI-2000 Maribor, Slovenia

               EST 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.

               EST 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., 51 Franklin Street, Fifth Floor,
               Boston, MA 02110-1301 USA.]
  ************************************************************************/

#include "versis.h"
#include "versisDecls.h"

#include <tcl.h>

/* !BEGIN!: Do not edit below this line. */

const VersisStubs versisStubs = {
    TCL_STUB_MAGIC,
    0,
    &versis_status, /* 0 */
    Versis_InitPkg, /* 1 */
    Versis_ExitPkg, /* 2 */
    Versis_AboutPkg, /* 3 */
    Versis_Compose, /* 4 */
    Versis_ComposeInit, /* 5 */
    Versis_ComposeStep, /* 6 */
    Versis_ComposeFinish, /* 7 */
    Versis_Equivalence, /* 8 */
    Versis_Minimization, /* 9 */
    Versis_ChangeRename, /* 10 */
    Versis_ChangeHide, /* 11 */
    Versis_ChangeForbid, /* 12 */
    Versis_CheckDeadlock, /* 13 */
    Versis_CheckDivergence, /* 14 */
};

/* !END!: Do not edit above this line. */
