structure_defs.h

Go to the documentation of this file.

// Definitions for the structure analysis routined -*- C++ -*-

// $Id: structure_defs.h 807 2008-11-17 12:08:29Z mihaly $
// Copyright (C) 2003 Hermann Schichl
//
// This file is part of the COCONUT API.  This library
// is free software; you can redistribute it and/or modify it under the
// terms of the Library GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.

// This library 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
// Library GNU General Public License for more details.

// As a special exception, you may use this file as part of a free software
// library without restriction.  Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the Library GNU General Public License.  This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the Library GNU General Public License.

#ifndef __STRUCTURE_DEFS_H_
#define __STRUCTURE_DEFS_H_

#include <expression.h>

namespace coco {


#define CTR_NODES       0
#define CTR_INTEGER     1
#define CTR_KJNODES     2
#define CTR_FREE        3
#define CTR_EXISTS      4
#define CTR_FORALL      5
#define CTR_STOCHASTIC  6
#define NUM_CTR         7

#define CTR_VARS        0
#define CTR_VBINARY     1
#define CTR_VINTEGER    1
#define CTR_VFREE       3
#define CTR_VEXISTS     4
#define CTR_VFORALL     5
#define CTR_VSTOCHASTIC 6
#define CTR_VKJ         7
#define CTR_V2BOUNDED   8
#define CTR_V1BOUNDED   9
#define CTR_VUBOUNDED  10
#define NUM_VCTR       11

#define CTR_OBJ         0
#define CTR_OINTEGER    1
#define CTR_OFREE       2
#define CTR_OEXISTS     3
#define CTR_OFORALL     4
#define CTR_OSTOCHASTIC 5
#define CTR_O2BOUNDED   6
#define CTR_O1BOUNDED   7
#define CTR_OUBOUNDED   8
#define CTR_ODIM1       9
#define CTR_ODIM2      10
#define CTR_OMTDIM2    11
#define CTR_ODEG1      12
#define CTR_ODEG2      13
#define CTR_ODEG3      14
#define CTR_OMTDEG3P   15
#define CTR_ONLN       16
#define CTR_OCONVEX    17
#define CTR_OCONCAVE   18
#define CTR_MIN        19
#define NUM_OCTR       20

#define CTR_CONSTR      0
#define CTR_CEQU        1
#define CTR_CINEQ       2
#define CTR_EBOUND      3
#define CTR_EDEG1       4
#define CTR_EDEG2       5
#define CTR_EDEG3       6
#define CTR_EMTDEG3P    7
#define CTR_ENLN        8
#define CTR_EDIM1       9
#define CTR_EDIM2      10
#define CTR_EMTDIM2    11
#define CTR_EINTEGER   12
#define CTR_IBOUND     13
#define CTR_IDEG1      14
#define CTR_IDEG2      15
#define CTR_IDEG3      16
#define CTR_IMTDEG3P   17
#define CTR_INLN       18
#define CTR_IDIM1      19
#define CTR_IDIM2      20
#define CTR_IMTDIM2    21
#define CTR_IINTEGER   22
#define CTR_ICONVEX    23
#define CTR_ICONCAVE   24
#define CTR_IACTIVE    25
#define CTR_IINACTIVE  26
#define CTR_IACTIVE_LO    27
#define CTR_IINACTIVE_LO  28
#define CTR_IACTIVE_HI    29
#define CTR_IINACTIVE_HI  30
#define CTR_IREDUNDANT 31
#define CTR_IRESTRICT  32
#define NUM_CCTR       33

#define CTR_EDGES       0
#define CTR_LEAVES      1
#define CTR_ROOTS       2
#define NUM_ECTR        3

#define CTR_SNNZJ       0
#define CTR_SNNZH       1
#define CTR_SDIFF       2
#define NUM_SCTR        3

#define CTR_EXPRINFO_USERDEFINED (EXPRINFO_NUMOFPREDEF+1)

} // namespace coco

#endif /* __STRUCTURE_DEFS_H_ */

---