home *** CD-ROM | disk | FTP | other *** search
/ Crawly Crypt Collection 2 / crawlyvol2.bin / apps / math / lpsolves / lp.y < prev    next >
Text File  |  1992-08-07  |  3KB  |  167 lines
  1. /* ========================================================================= */
  2. /* NAME  : lp.y                                                              */
  3. /* ========================================================================= */
  4.  
  5.  
  6. %token VAR CONS SIGN AR_M_OP RE_OP END_C COMMA
  7.  
  8.  
  9. %{
  10. #include "defines.h" 
  11. #include "globals.h"
  12.  
  13. /* globals */
  14. char Last_var[NAMELEN];
  15. int Rows;
  16. int Lin_term_count;
  17. double f;
  18. int x;
  19. int Sign;
  20. int isign;     /* internal_sign variable to make sure nothing goes wrong */
  21.         /* with lookahead */
  22. int make_neg;    /* is true after the relational operator is seen in order */
  23.         /* to rember if lin_term stands before or after re_op */
  24. %}
  25.  
  26.  
  27.  
  28. %start inputfile
  29. %%
  30.  
  31. inputfile    :
  32. {
  33.   init_read();
  34.   isign = 0;
  35.   make_neg = 0;
  36. } 
  37.           objective_function
  38.           constraints
  39.                   int_declarations
  40.         ;
  41.  
  42. constraints    : constraint
  43.         | constraints
  44.           constraint
  45.         ;
  46.  
  47. constraint    : x_lineair_sum
  48.           RE_OP
  49. {
  50.   store_re_op();
  51.   make_neg = 1; 
  52. }
  53.           x_lineair_sum
  54.                   END_C
  55. {
  56.   if(Lin_term_count == 0)
  57.     
  58.     {
  59.       fprintf(stderr, "WARNING line %d: constraint contains no variables\n",
  60.           yylineno);
  61.       null_tmp_store();
  62.     }
  63.   if(Lin_term_count  > 1)
  64.     Rows++;
  65.   if(Lin_term_count == 1)
  66.     store_bounds();
  67.   Lin_term_count = 0;
  68.   isign = 0 ; make_neg = 0;
  69. }
  70.         ;
  71.  
  72. int_declarations: /* EMPTY */
  73.                 | real_int_decls
  74.                 ;
  75.  
  76. real_int_decls  : int_declaration
  77.                 | real_int_decls int_declaration
  78.                 ;
  79.  
  80. int_declaration : int_declarator vars END_C
  81.                 ;
  82.  
  83. int_declarator  : VAR {/* check_decl(yytext);*/}/* check it here !! */
  84.                 ;
  85.  
  86. vars            : VAR {add_int_var(yytext);}
  87.                 | vars VAR {add_int_var(yytext);}
  88.                 | vars COMMA VAR {add_int_var(yytext);}
  89.                 ;
  90.  
  91. x_lineair_sum    : x_lineair_term 
  92.         | SIGN
  93. {
  94.   isign = Sign; 
  95. }
  96.           x_lineair_term
  97.         | x_lineair_sum
  98.           SIGN
  99. {
  100.   isign = Sign; 
  101. }
  102.           x_lineair_term
  103.         ;
  104.  
  105. x_lineair_term    : lineair_term
  106.         | CONS
  107. {
  108.   if (isign ^ (!make_neg))
  109.     f = -f;
  110.   rhs_store(f);
  111.   isign = 0;
  112. }
  113.         ;
  114.  
  115. lineair_sum    : lineair_term 
  116.         | SIGN
  117. {
  118.   isign = Sign;
  119. }
  120.           lineair_term
  121.         | lineair_sum
  122.           SIGN
  123. {
  124.   isign = Sign;
  125. }
  126.           lineair_term
  127.         ;
  128.  
  129. lineair_term    : VAR
  130. {
  131.   if (isign ^ make_neg)
  132.     var_store(Last_var, Rows, (double)-1);
  133.   else
  134.     var_store(Last_var, Rows, (double)1);
  135.   isign = 0;
  136. }
  137.         | CONS 
  138.           VAR
  139. {
  140.   if (isign ^ make_neg)
  141.     f = -f;
  142.   var_store(Last_var, Rows, f);
  143.   isign = 0;
  144. }
  145.         | CONS 
  146.           AR_M_OP
  147.           VAR
  148. {
  149.   if (isign ^ make_neg)
  150.     f = -f;
  151.   var_store(Last_var, Rows, f);
  152.   isign = 0;
  153. }
  154.         ;
  155.  
  156. objective_function: lineair_sum
  157.             END_C
  158. {
  159.   Rows++;
  160.   Lin_term_count  =  0;
  161.   isign = 0;
  162.   make_neg = 0;
  163. }
  164.         ;
  165. %%
  166. # include "lexyyx.c"
  167.