PIPS
iabrev.h File Reference
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define FTRACE   XX->ftrace
 ========================================================================= More...
 
#define VRESULT   XX->result
 ................ More...
 
#define NITER   XX->niter
 
#define MC   XX->mcontr
 ............... More...
 
#define NV   XX->nvar
 
#define NP   XX->nvpos
 
#define PMETH   XX->meth
 
#define PMET2   XX->met2
 
#define PMET3   XX->met3
 
#define PDICO   XX->met4
 
#define MSR   XX->met5
 
#define PRECR   XX->met6
 
#define PCOMP   XX->met7
 
#define REDON   XX->met8
 
#define DYN   XX->dyn
 
#define VISU   XX->ntrace
 
#define VIS2   XX->ntrac2
 
#define VIS3   XX->ntrac3
 
#define TMORE   20
 
#define VARC   XX->varc
 
#define FORCER   XX->forcer
 
#define PFOURIER   XX->fourier
 
#define CRITERMAX   XX->critermax
 
#define CHOIXPIV   XX->choixpiv
 
#define CHOIXPRIM   XX->choixprim
 
#define VW1   (XX->ntrac2>=1)
 
#define VW2   (XX->ntrac2>=2)
 
#define VW3   (XX->ntrac2>=3)
 
#define VW4   (XX->ntrac2>=4)
 
#define VW5   (XX->ntrac2>=5)
 
#define VW6   (XX->ntrac2>=6)
 
#define VW7   (XX->ntrac2>=7)
 
#define VW8   (XX->ntrac2>=8)
 
#define A(A, B)   II->a[A][B]
 ............... More...
 
#define D(A)   II->d[A] /**remplace int d[MAXLIGNES+1]; */
 
#define E(A)   II->e[A] /**remplace int e[MAXLIGNES+1]; */
 
#define AK(A, B)   XX->ak[A][B]
 ............... More...
 
#define DK(A)   XX->dk[A]
 
#define B(A)   XX->b[A] /**define bb(A) *(&XX->b[0]+A) ok */
 
#define G(A)   XX->g[A]
 
#define ZVB   1 /**bad problem parameters */
 ............... More...
 
#define ZVO   1 /**overflow */
 
#define ZVS   1 /**step signale */
 
#define ZVP1   3 /**pivoting, iteration is indicated */
 
#define ZVP2   6 /**after pivoting, global set *//***/
 
#define ZVTS   3 /**tableau en fin de step */
 
#define ZVA1   2 /**nature and number of constraints */
 initial problem
More...
 
#define ZVA4   4 /**initial global set */
 
#define ZVVF   4 /**constrained feature is specified by an inequality */
 Variables status
More...
 
#define ZVU1   2 /**unimodular change is indicated */
 Extended Euclid Algorithm
More...
 
#define ZVEV   3 /**empty equation is removed */
 define ZVU2 4 More...
 
#define ZVG2   1 /**polyedron proved empty by GCD test */
 define ZVE4 4 More...
 
#define ZVI1   2 /**inequality division is indicated */
 define ZVG3 3 More...
 
#define ZVI3   3 /**inequality division is shown */
 
#define ZVF1   2 /**fourier elimination is indicated */
 fourier
More...
 
#define ZVF2   5 /**after fourier 2-2, before removing col, global set */
 
#define ZVF3   4 /**after fourier elimination global set */
 
#define ZVFEC   2 /**empty column */
 
#define ZVFW   2 /**warning, a column is empty and functions are not */
 
#define ZVNPC   6 /**global set after possible columns permutation */ /***/
 Non-negative variables
More...
 
#define ZVN1   4 /**chosen inequality is indicated */
 
#define ZVN2   2 /**rhs of chosen inequality is positive */
 
#define ZVNW   2 /**warning, all columns of free variables are empty */
 
#define ZVNG   5 /**gcd of coefficients of free variables */
 
#define ZVC1   3 /**cutting operation */
 cut
More...
 
#define ZVCP1   4 /**global set before pivoting */
 define ZVC2 4 More...
 
#define ZVCP2   7 /**global set after pivoting, before removing cut *//***/
 
#define ZVCP3   6 /**global set after pivoting */ /**redondant avec ZVP2 *//***/
 
#define ZVR1   2 /**redundant inequality is indicated */
 redundant inequalities
More...
 
#define ZVR3   4 /**final global set if redundancies *//***/
 
#define ZVR4   4 /**global set before redundant inequality is removed */
 
#define ZVDS   3 /**surrogate constraint is indicated */
 dual
More...
 
#define ZVDEND   3 /**global set after dual */
 
#define ZVSAT2   2 /**one more satisfaction is specified*/
 constraint satisfaction
More...
 
#define ZVSAT3   3 /**global set after one more satisfaction or contradiction */
 
#define ZVSAT4   4 /**details concerning satisfaction */
 
#define ZVPRI   2 /**when improved cost function */
 primal
More...
 
#define ZVL   1 /**solver result */
 last
More...
 
#define ZVL2   3 /**global set */
 
#define ZVBR1   1 /** */
 branch
More...
 
#define ZVBR2   2 /** */
 
#define ZVBR3   3 /**details */
 
#define ZVBR4   4 /**details */
 
#define NSTEP   XX->nstep
 ............... More...
 
#define MAJSTEP   XX->majstep
 
#define NEGAL   XX->negal
 
#define ICOUT   XX->icout
 
#define MX   XX->mx
 
#define NX   XX->nx
 
#define NREDUN   XX->nredun
 
#define VREDUN(A)   XX->vredun[A]
 
#define TMAX   XX->tmax
 
#define NUMERO   XX->numero
 
#define NUMAX   XX->numax
 
#define NUB   XX->nub
 
#define LASTFREE   XX->lastfree
 
#define IC1   XX->ic1
 
#define NTP   XX->ntp
 
#define VDUM   XX->vdum /**variables for trace */
 
#define XBUG(A)   return xbug(XX,A)
 
#define XDEB(A)   return xdeb(XX,A)
 

Macro Definition Documentation

◆ A

#define A (   A,
  B 
)    II->a[A][B]

...............

macros pour tableaux passes .............. define a(A,B) *(*(XX->pta+A)+B) define d(A) *(XX->ptd+A) * remplace int d[MAXLIGNES+1]; define e(A) *(XX->pte+A) * remplace int e[MAXLIGNES+1]; define A(A,B) XX->a[A][B]

Definition at line 55 of file iabrev.h.

◆ AK

#define AK (   A,
  B 
)    XX->ak[A][B]

...............

macros for local arrays ..............

Definition at line 59 of file iabrev.h.

◆ B

#define B (   A)    XX->b[A] /**define bb(A) *(&XX->b[0]+A) ok */

Definition at line 61 of file iabrev.h.

◆ CHOIXPIV

#define CHOIXPIV   XX->choixpiv

Definition at line 40 of file iabrev.h.

◆ CHOIXPRIM

#define CHOIXPRIM   XX->choixprim

Definition at line 41 of file iabrev.h.

◆ CRITERMAX

#define CRITERMAX   XX->critermax

Definition at line 39 of file iabrev.h.

◆ D

#define D (   A)    II->d[A] /**remplace int d[MAXLIGNES+1]; */

Definition at line 56 of file iabrev.h.

◆ DK

#define DK (   A)    XX->dk[A]

Definition at line 60 of file iabrev.h.

◆ DYN

#define DYN   XX->dyn

Definition at line 31 of file iabrev.h.

◆ E

#define E (   A)    II->e[A] /**remplace int e[MAXLIGNES+1]; */

Definition at line 57 of file iabrev.h.

◆ FORCER

#define FORCER   XX->forcer

Definition at line 37 of file iabrev.h.

◆ FTRACE

#define FTRACE   XX->ftrace

=========================================================================

SIMPLEXE for integer variables
ALL-INTEGER METHODS
Jean Claude SOGNO
Projet CHLOE – INRIA ROCQUENCOURT
Juin 1994
========================================================================= ========================================================================= Duong NGUYEN QUE
Adaption to abstract computation: janusvalue
CRI-ENSMP
=========================================================================

Definition at line 15 of file iabrev.h.

◆ G

#define G (   A)    XX->g[A]

Definition at line 62 of file iabrev.h.

◆ IC1

#define IC1   XX->ic1

Definition at line 149 of file iabrev.h.

◆ ICOUT

#define ICOUT   XX->icout

Definition at line 139 of file iabrev.h.

◆ LASTFREE

#define LASTFREE   XX->lastfree

Definition at line 148 of file iabrev.h.

◆ MAJSTEP

#define MAJSTEP   XX->majstep

Definition at line 136 of file iabrev.h.

◆ MC

#define MC   XX->mcontr

...............

variables ou constantes de depart ..............

Definition at line 20 of file iabrev.h.

◆ MSR

#define MSR   XX->met5

Definition at line 27 of file iabrev.h.

◆ MX

#define MX   XX->mx

Definition at line 140 of file iabrev.h.

◆ NEGAL

#define NEGAL   XX->negal

Definition at line 138 of file iabrev.h.

◆ NITER

#define NITER   XX->niter

Definition at line 18 of file iabrev.h.

◆ NP

#define NP   XX->nvpos

Definition at line 22 of file iabrev.h.

◆ NREDUN

#define NREDUN   XX->nredun

Definition at line 142 of file iabrev.h.

◆ NSTEP

#define NSTEP   XX->nstep

...............

visualization variables .................

Definition at line 135 of file iabrev.h.

◆ NTP

#define NTP   XX->ntp

Definition at line 150 of file iabrev.h.

◆ NUB

#define NUB   XX->nub

Definition at line 147 of file iabrev.h.

◆ NUMAX

#define NUMAX   XX->numax

Definition at line 146 of file iabrev.h.

◆ NUMERO

#define NUMERO   XX->numero

Definition at line 145 of file iabrev.h.

◆ NV

#define NV   XX->nvar

Definition at line 21 of file iabrev.h.

◆ NX

#define NX   XX->nx

Definition at line 141 of file iabrev.h.

◆ PCOMP

#define PCOMP   XX->met7

Definition at line 29 of file iabrev.h.

◆ PDICO

#define PDICO   XX->met4

Definition at line 26 of file iabrev.h.

◆ PFOURIER

#define PFOURIER   XX->fourier

Definition at line 38 of file iabrev.h.

◆ PMET2

#define PMET2   XX->met2

Definition at line 24 of file iabrev.h.

◆ PMET3

#define PMET3   XX->met3

Definition at line 25 of file iabrev.h.

◆ PMETH

#define PMETH   XX->meth

Definition at line 23 of file iabrev.h.

◆ PRECR

#define PRECR   XX->met6

Definition at line 28 of file iabrev.h.

◆ REDON

#define REDON   XX->met8

Definition at line 30 of file iabrev.h.

◆ TMAX

#define TMAX   XX->tmax

Definition at line 144 of file iabrev.h.

◆ TMORE

#define TMORE   20

Definition at line 35 of file iabrev.h.

◆ VARC

#define VARC   XX->varc

Definition at line 36 of file iabrev.h.

◆ VDUM

#define VDUM   XX->vdum /**variables for trace */

Definition at line 151 of file iabrev.h.

◆ VIS2

#define VIS2   XX->ntrac2

Definition at line 33 of file iabrev.h.

◆ VIS3

#define VIS3   XX->ntrac3

Definition at line 34 of file iabrev.h.

◆ VISU

#define VISU   XX->ntrace

Definition at line 32 of file iabrev.h.

◆ VREDUN

#define VREDUN (   A)    XX->vredun[A]

Definition at line 143 of file iabrev.h.

◆ VRESULT

#define VRESULT   XX->result

................

variables resultats .......................

Definition at line 17 of file iabrev.h.

◆ VW1

#define VW1   (XX->ntrac2>=1)

Definition at line 42 of file iabrev.h.

◆ VW2

#define VW2   (XX->ntrac2>=2)

Definition at line 43 of file iabrev.h.

◆ VW3

#define VW3   (XX->ntrac2>=3)

Definition at line 44 of file iabrev.h.

◆ VW4

#define VW4   (XX->ntrac2>=4)

Definition at line 45 of file iabrev.h.

◆ VW5

#define VW5   (XX->ntrac2>=5)

Definition at line 46 of file iabrev.h.

◆ VW6

#define VW6   (XX->ntrac2>=6)

Definition at line 47 of file iabrev.h.

◆ VW7

#define VW7   (XX->ntrac2>=7)

Definition at line 48 of file iabrev.h.

◆ VW8

#define VW8   (XX->ntrac2>=8)

Definition at line 49 of file iabrev.h.

◆ XBUG

#define XBUG (   A)    return xbug(XX,A)

Definition at line 153 of file iabrev.h.

◆ XDEB

#define XDEB (   A)    return xdeb(XX,A)

Definition at line 154 of file iabrev.h.

◆ ZVA1

#define ZVA1   2 /**nature and number of constraints */

initial problem

Definition at line 71 of file iabrev.h.

◆ ZVA4

#define ZVA4   4 /**initial global set */

Definition at line 72 of file iabrev.h.

◆ ZVB

#define ZVB   1 /**bad problem parameters */

...............

visualization run-level .................

Definition at line 64 of file iabrev.h.

◆ ZVBR1

#define ZVBR1   1 /** */

branch

Definition at line 130 of file iabrev.h.

◆ ZVBR2

#define ZVBR2   2 /** */

Definition at line 131 of file iabrev.h.

◆ ZVBR3

#define ZVBR3   3 /**details */

Definition at line 132 of file iabrev.h.

◆ ZVBR4

#define ZVBR4   4 /**details */

Definition at line 133 of file iabrev.h.

◆ ZVC1

#define ZVC1   3 /**cutting operation */

cut

Definition at line 106 of file iabrev.h.

◆ ZVCP1

#define ZVCP1   4 /**global set before pivoting */

define ZVC2 4

cutting operation: resulting c. array define ZVC3 5 detailed cutting operation define ZVC4 6 more detailed cutting operation

Definition at line 110 of file iabrev.h.

◆ ZVCP2

#define ZVCP2   7 /**global set after pivoting, before removing cut *//***/

Definition at line 111 of file iabrev.h.

◆ ZVCP3

#define ZVCP3   6 /**global set after pivoting */ /**redondant avec ZVP2 *//***/

Definition at line 112 of file iabrev.h.

◆ ZVDEND

#define ZVDEND   3 /**global set after dual */

Definition at line 119 of file iabrev.h.

◆ ZVDS

#define ZVDS   3 /**surrogate constraint is indicated */

dual

Definition at line 118 of file iabrev.h.

◆ ZVEV

#define ZVEV   3 /**empty equation is removed */

define ZVU2 4

unimodular change is described define ZVU4 4 global set before changing define ZVU9 7 global set after changing Equalities elimination
define ZVEK 4 comments concerning elimination

Definition at line 84 of file iabrev.h.

◆ ZVF1

#define ZVF1   2 /**fourier elimination is indicated */

fourier

Definition at line 94 of file iabrev.h.

◆ ZVF2

#define ZVF2   5 /**after fourier 2-2, before removing col, global set */

Definition at line 95 of file iabrev.h.

◆ ZVF3

#define ZVF3   4 /**after fourier elimination global set */

Definition at line 96 of file iabrev.h.

◆ ZVFEC

#define ZVFEC   2 /**empty column */

Definition at line 97 of file iabrev.h.

◆ ZVFW

#define ZVFW   2 /**warning, a column is empty and functions are not */

Definition at line 98 of file iabrev.h.

◆ ZVG2

#define ZVG2   1 /**polyedron proved empty by GCD test */

define ZVE4 4

global set before pivoting GCD test
define ZVG1 2 after GCD computation, GCD test is indicated

Definition at line 88 of file iabrev.h.

◆ ZVI1

#define ZVI1   2 /**inequality division is indicated */

define ZVG3 3

global set when polyedron proved empty by GCD test inequalities division

Definition at line 91 of file iabrev.h.

◆ ZVI3

#define ZVI3   3 /**inequality division is shown */

Definition at line 92 of file iabrev.h.

◆ ZVL

#define ZVL   1 /**solver result */

last

Definition at line 127 of file iabrev.h.

◆ ZVL2

#define ZVL2   3 /**global set */

Definition at line 128 of file iabrev.h.

◆ ZVN1

#define ZVN1   4 /**chosen inequality is indicated */

Definition at line 101 of file iabrev.h.

◆ ZVN2

#define ZVN2   2 /**rhs of chosen inequality is positive */

Definition at line 102 of file iabrev.h.

◆ ZVNG

#define ZVNG   5 /**gcd of coefficients of free variables */

Definition at line 104 of file iabrev.h.

◆ ZVNPC

#define ZVNPC   6 /**global set after possible columns permutation */ /***/

Non-negative variables

Definition at line 100 of file iabrev.h.

◆ ZVNW

#define ZVNW   2 /**warning, all columns of free variables are empty */

Definition at line 103 of file iabrev.h.

◆ ZVO

#define ZVO   1 /**overflow */

Definition at line 65 of file iabrev.h.

◆ ZVP1

#define ZVP1   3 /**pivoting, iteration is indicated */

Definition at line 67 of file iabrev.h.

◆ ZVP2

#define ZVP2   6 /**after pivoting, global set *//***/

Definition at line 68 of file iabrev.h.

◆ ZVPRI

#define ZVPRI   2 /**when improved cost function */

primal

Definition at line 125 of file iabrev.h.

◆ ZVR1

#define ZVR1   2 /**redundant inequality is indicated */

redundant inequalities

Definition at line 114 of file iabrev.h.

◆ ZVR3

#define ZVR3   4 /**final global set if redundancies *//***/

Definition at line 115 of file iabrev.h.

◆ ZVR4

#define ZVR4   4 /**global set before redundant inequality is removed */

Definition at line 116 of file iabrev.h.

◆ ZVS

#define ZVS   1 /**step signale */

Definition at line 66 of file iabrev.h.

◆ ZVSAT2

#define ZVSAT2   2 /**one more satisfaction is specified*/

constraint satisfaction

Definition at line 121 of file iabrev.h.

◆ ZVSAT3

#define ZVSAT3   3 /**global set after one more satisfaction or contradiction */

Definition at line 122 of file iabrev.h.

◆ ZVSAT4

#define ZVSAT4   4 /**details concerning satisfaction */

Definition at line 123 of file iabrev.h.

◆ ZVTS

#define ZVTS   3 /**tableau en fin de step */

Definition at line 69 of file iabrev.h.

◆ ZVU1

#define ZVU1   2 /**unimodular change is indicated */

Extended Euclid Algorithm

define ZVX 5 Extended Euclid Algorithm is described Unimodular change of variables

Definition at line 78 of file iabrev.h.

◆ ZVVF

#define ZVVF   4 /**constrained feature is specified by an inequality */

Variables status

Definition at line 74 of file iabrev.h.