sol.c File Reference

#include "pip__type.h"
#include <stdio.h>

Include dependency graph for sol.c:

Go to the source code of this file.

Data Structures
struct	S
	Base of the parameters. More...

Macros
#define	Nil   1
#define	If   2
#define	List   3
#define	Form   4
#define	New   5
#define	Div   6
#define	Val   7

Functions
Entier	sol_mod ()
Entier	sol_pgcd (Entier x, Entier y)
Entier	sol_ppcm (Entier x, Entier y)
void	sol_init ()
int	sol_hwm ()
void	sol_reset (int p)
struct S *	sol_alloc ()
void	sol_nil ()
int	is_not_Nil (int p)
void	sol_if ()
void	sol_list (int n)
void	sol_forme (int l)
void	sol_new (int k)
void	sol_div ()
void	sol_val (Entier n, Entier d)
int	sol_edit (FILE *foo, int i)

Variables
long int	cross_product
long int	limit
int	verbose
FILE *	dump
	Should not be used : put here for Pip copatibility. More...
struct S	sol_space [SOL_SIZE]
static int	sol_free

Macro Definition Documentation

Div

#define Div   6

Definition at line 45 of file sol.c.

Form

#define Form   4

Definition at line 43 of file sol.c.

If

#define If   2

Definition at line 41 of file sol.c.

List

#define List   3

Definition at line 42 of file sol.c.

New

#define New   5

Definition at line 44 of file sol.c.

Nil

#define Nil   1

Definition at line 40 of file sol.c.

Val

#define Val   7

Definition at line 46 of file sol.c.

Function Documentation

is_not_Nil()

int is_not_Nil

(

int

p

)

Definition at line 112 of file sol.c.

{
 return(sol_space[p].flags != Nil);
}

References S::flags, Nil, and sol_space.

sol_alloc()

struct S* sol_alloc

(

)

Definition at line 90 of file sol.c.

{struct S *r;
 r = sol_space + sol_free;
 sol_free++;
 if(sol_free >= SOL_SIZE)
     {fprintf(stderr, "grosse solution!!! : sol\n");
      exit(26);
     }
 return(r);
}

References exit, fprintf(), sol_free, SOL_SIZE, and sol_space.

Referenced by sol_div(), sol_forme(), sol_if(), sol_list(), sol_new(), sol_nil(), and sol_val().

Here is the call graph for this function:

Here is the caller graph for this function:

sol_div()

void sol_div

(

)

Definition at line 151 of file sol.c.

{
 struct S *r;
 r = sol_alloc();
 r -> flags = Div;
}

References Div, S::flags, and sol_alloc().

Referenced by integrer().

Here is the call graph for this function:

Here is the caller graph for this function:

sol_edit()

int sol_edit	(	FILE *	foo,
		int	i
	)

Definition at line 168 of file sol.c.

{int j, n;
 struct S *p;
 Entier N, D, d;
 debut : p = sol_space + i;
 switch(p->flags)
    {case Nil : fprintf(foo, "()\n");
                if(verbose>0)fprintf(dump, "()\n");
                i++; break;
     case If  : fprintf(foo, "(if ");
                if(verbose>0)fprintf(dump, "(if ");
                i = sol_edit(foo, ++i);
                i = sol_edit(foo, i);
                i = sol_edit(foo, i);
                fprintf(foo, ")\n");
                if(verbose>0)fprintf(dump, ")\n");
                break;
     case List: fprintf(foo, "(list ");
                if(verbose>0)fprintf(dump, "(list ");
                n = p->param1;
                i++;
                while(n--) i = sol_edit(foo, i);
                fprintf(foo, ")\n");
                if(verbose>0)fprintf(dump, ")\n");
                break;
     case Form: fprintf(foo, "#[");
                if(verbose>0)fprintf(dump, "#[");
                n = p->param1;
                for(j = 0; j<n; j++)
                   {i++; p++;
                    N = p->param1; D = p->param2;
                    d = sol_pgcd(N, D);
                    if(d == D){putc(' ', foo);
                               fprintf(foo, FORMAT, N/d);
                               if(verbose>0){
                                 putc(' ', dump);
                                 fprintf(dump, FORMAT, N/d);
                               }
                              }
                    else{putc(' ', foo);
                         fprintf(foo,FORMAT,N/d);
                         fprintf(foo,"/");
                         fprintf(foo,FORMAT, D/d);
                         if(verbose>0)
                           {putc(' ', dump);
                            fprintf(dump,FORMAT,N/d);
                            fprintf(dump,"/");
                            fprintf(dump,FORMAT, D/d);
                          }
                        }
                   }
                fprintf(foo, "]\n");
                if(verbose>0)fprintf(dump, "]\n");
                i++;
                break;
     case New : n = p->param1;
                fprintf(foo, "(newparm %d ", n);
                if(verbose>0)fprintf(dump, "(newparm %d ", n);
                i = sol_edit(foo, ++i);
                fprintf(foo, ")\n");
                if(verbose>0)fprintf(dump, ")\n");
                goto debut;
     case Div : fprintf(foo, "(div ");
                if(verbose>0)fprintf(dump, "(div ");
                i = sol_edit(foo, ++i);
                i = sol_edit(foo, i);
                fprintf(foo, ")\n");
                if(verbose>0)fprintf(dump, ")\n");
                break;
     case Val : N = p->param1; D = p->param2;
                d = sol_pgcd(N, D);
                if(d == D){putc(' ', foo);
                           fprintf(foo, FORMAT, N/d);
                           if(verbose>0)
                             {putc(' ', dump);
                              fprintf(dump, FORMAT, N/d);
                            }
                          }
                else{putc(' ', foo);
                     fprintf(foo, FORMAT, N/d);
                     fprintf(foo, "/");
                     fprintf(foo, FORMAT, D/d);
                     if(verbose>0)
                       {putc(' ', dump);
                        fprintf(dump, FORMAT, N/d);
                        fprintf(dump, "/");
                        fprintf(dump, FORMAT, D/d);
                      }
                    }
                i++;
                break;
     default  : fprintf(foo, "Inconnu : sol\n");
                if(verbose>0)fprintf(dump, "Inconnu : sol\n");
    }
    return(i);
}

References D, Div, dump, Entier, S::flags, Form, FORMAT, fprintf(), If, List, New, Nil, S::param1, S::param2, sol_pgcd(), sol_space, Val, and verbose.

Here is the call graph for this function:

sol_forme()

void sol_forme

(

int

l

)

Definition at line 133 of file sol.c.

{
 struct S *r;
 r = sol_alloc();
 r -> flags = Form;
 r -> param1 = l;
}

References S::flags, Form, S::param1, and sol_alloc().

Referenced by integrer(), solution(), and traiter().

Here is the call graph for this function:

Here is the caller graph for this function:

sol_hwm()

int sol_hwm

(

)

Definition at line 75 of file sol.c.

{
 return(sol_free);
}

References sol_free.

Referenced by compa_test(), pip_solve(), and pip_solve_min_with_big().

Here is the caller graph for this function:

sol_if()

void sol_if

(

)

Definition at line 118 of file sol.c.

{
 struct S *r;
 r = sol_alloc();
 r -> flags = If;
}

References S::flags, If, and sol_alloc().

Referenced by traiter().

Here is the call graph for this function:

Here is the caller graph for this function:

sol_init()

void sol_init

(

)

Definition at line 70 of file sol.c.

{
 sol_free = 0;
}

References sol_free.

Referenced by pip_solve(), and pip_solve_min_with_big().

Here is the caller graph for this function:

sol_list()

void sol_list

(

int

n

)

Definition at line 125 of file sol.c.

{struct S * r;
 r = sol_alloc();
 r->flags = List;
 r->param1 = n;
}

References S::flags, List, S::param1, and sol_alloc().

Here is the call graph for this function:

sol_mod()

Entier sol_mod

(

)

Referenced by sol_pgcd().

Here is the caller graph for this function:

sol_new()

void sol_new

(

int

k

)

Definition at line 142 of file sol.c.

{
 struct S *r;
 r = sol_alloc();
 r -> flags = New;
 r -> param1 = k;
}

References S::flags, New, S::param1, and sol_alloc().

Here is the call graph for this function:

sol_nil()

void sol_nil

(

)

Definition at line 101 of file sol.c.

{
 struct S * r;
 r = sol_alloc();
 r -> flags = Nil;
 if(verbose > 0)
   {fprintf(dump, "sol_nil\n");
    fflush(dump);
  }
}

References dump, S::flags, fprintf(), Nil, sol_alloc(), and verbose.

Referenced by traiter().

Here is the call graph for this function:

Here is the caller graph for this function:

sol_pgcd()

Entier sol_pgcd	(	Entier	x,
		Entier	y
	)

Definition at line 53 of file sol.c.

{Entier r;
 while(y)
     {r = sol_mod(x, y);
      x = y;
      y = r;
     }
 return(x>= 0? x : -x);
}

References Entier, sol_mod(), and x.

Referenced by sol_edit(), and sol_ppcm().

Here is the call graph for this function:

Here is the caller graph for this function:

sol_ppcm()

Entier sol_ppcm	(	Entier	x,
		Entier	y
	)

Definition at line 64 of file sol.c.

{
    Entier gcd = sol_pgcd(x, y), lcm = x * (y/gcd);
    return lcm>=0 ? lcm: -lcm;
}

References Entier, sol_pgcd(), and x.

Here is the call graph for this function:

sol_reset()

void sol_reset

(

int

p

)

Definition at line 80 of file sol.c.

{
 if(p<0 || p>=SOL_SIZE)
     {fprintf(stderr, "salades de saison .... : sol\n");
      exit(40);
     }
 sol_free = p;
}

References exit, fprintf(), sol_free, and SOL_SIZE.

Here is the call graph for this function:

sol_val()

void sol_val	(	Entier	n,
		Entier	d
	)

Definition at line 158 of file sol.c.

{
 struct S *r;
 r = sol_alloc();
 r -> flags = Val;
 r -> param1 = n;
 r -> param2 = d;
}

References S::flags, S::param1, S::param2, sol_alloc(), and Val.

Here is the call graph for this function:

Variable Documentation

cross_product

long int cross_product

extern

Definition at line 91 of file pip.c.

dump

FILE* dump

extern

Should not be used : put here for Pip copatibility.

Definition at line 97 of file pip.c.

Referenced by sol_edit(), and sol_nil().

limit

long int limit

Definition at line 31 of file sol.c.

sol_free

int sol_free

static

Definition at line 49 of file sol.c.

Referenced by sol_alloc(), sol_hwm(), sol_init(), and sol_reset().

sol_space

struct S sol_space[SOL_SIZE]

Definition at line 33 of file sol.c.

Referenced by integer_sol_edit(), is_not_Nil(), new_sol_edit(), rational_sol_edit(), sol_alloc(), and sol_edit().

verbose

int verbose

extern

Definition at line 45 of file maind.c.

Referenced by dgetc(), dscanf(), pivoter(), sol_edit(), and sol_nil().