sc_list.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include "linear_assert.h"
#include <time.h>
#include <sys/time.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "sommet.h"
#include "polyedre.h"
#include "union.h"

Include dependency graph for sc_list.c:

Go to the source code of this file.

Functions
Psysteme	sc_full ()
	Psysteme sc_full() similar to sc_new. More...
bool	sc_full_p (Psysteme in_ps)
	Psysteme sc_full_p( in_ps ) similar to sc_new. More...
Psysteme	sc_dup1 (Psysteme in_ps)
	Psysteme sc_dup1( in_ps ) AL 30/05/94 1 depth copy of in_ps: no duplication of vectors (except for the base). More...
Psysteme	sc_free (Psysteme in_ps)
	Psysteme sc_free( in_ps ) AL 30/05/94 Free of in_ps. More...
Psysteme	sc_free1 (Psysteme in_ps)
	Psysteme sc_free1( in_ps ) AL 30/05/94 Only pcontrainte of in_ps are freed. More...
Psysteme	sc_concatenate (Psysteme in_s1, Psysteme in_s2)
	Psysteme sc_concatenate( in_s1, in_s2 ) AL 30/05/94 Append in_s2 to the end of in_s1 and returns in_s1. More...
bool	sl_length (Psyslist in_sl)
	int sl_length( (Psyslist) in_sl ) AL 26/04/95 Returns length of in_sl. More...
int	sl_max_constraints_nb (Psyslist in_sl)
	int sl_max_constraints_nb( (Psyslist) in_sl ) Give the maximum constraints nb among systems of in_sl. More...
bool	sl_is_system_p (Psyslist in_sl)
	bool sl_is_system_p( (Psyslist) in_sl ) AL 16/11/93 Returns True if syslist in_sl has only one Psysteme in it. More...
Psyslist	sl_append_system (Psyslist in_sl, Psysteme in_ps)
	Psyslist sl_append_system( (Psyslist) in_sl, (Psysteme) in_ps ) Input : A disjunct in_sl to wich in_ps will be added. More...
Psyslist	sl_append_system_first (Psyslist in_sl, Psysteme in_ps)
	Psyslist sl_append_system_first( in_sl, in_ps ) AL 23/03/95 A new Psyslist with in_ps at the end of in_sl (sharing). More...
Psyslist	sl_new ()
	Psyslist sl_new() AL 26/10/93 Input : Nothing. More...
Psyslist	sl_dup (Psyslist in_sl)
	Psyslist sl_dup( (Psyslist) in_sl ) AL 15/11/93 w - 1 duplication : everything is duplicated, except entities. More...
Psyslist	sl_dup1 (Psyslist in_sl)
	Psyslist sl_dup1( (Psyslist) in_sl ) AL 15/11/93 Duplicates input syslist. More...
Psyslist	sl_free (Psyslist psl)
	Psyslist sl_free(Psyslist psl) BA, AL 30/05/94 w - 1 depth free. More...
Psyslist	sl_free1 (Psyslist psl)
	Psyslist sl_free1(Psyslist psl) AL 30/05/94 1 depth free. More...
void	sl_set_variable_name (char *(*in_fu)())
	char* sl_set_variable_name( in_fu ) give the function to read variables More...
char *	sl_get_tab_string (int in_tab)
	char* sl_get_tab_string( in_tab ) returns a string of in_tab \t More...
void	sl_fprint_tab (FILE *in_fi, Psyslist in_sl, char *(*in_fu)(), int in_tab)
void	sl_fprint (in_fi, in_sl, char *(*in_fu)())
int	slx_parse (void)
	fichier lu par sl_lex.l More...
void	sl_init_lex (void)
Psyslist	sl_read (char *nomfic)
	void sl_read(FILE*) reads a Psyslist More...
void	un_fprint_tab (FILE *in_fi, char *in_un, char *(*in_fu)(), int in_ty, int in_tab)
	void un_fprint_tab(FILE*, Pdisjunct, function, type, tab) prints a union More...

Variables
char *(*	union_variable_name )(Variable) = variable_default_name
	Package : C3/union Author : Arnauld LESERVOT (leservot(a)limeil.cea.fr) Date : Modified : 04 04 95 Documents: UNION.tex : `‘Extension de C3 aux unions de polyedres’' Comments : More...
Psyslist	sl_yacc
FILE *	slx_in
	Psysteme construit par sl_gram.y. More...

Function Documentation

sc_concatenate()

Psysteme sc_concatenate	(	Psysteme	in_s1,
		Psysteme	in_s2
	)

Psysteme sc_concatenate( in_s1, in_s2 ) AL 30/05/94 Append in_s2 to the end of in_s1 and returns in_s1.

Freeable with sc_free1(). Sharing.

Memory management and returns

Parameters

in_s1	n_s1
in_s2	n_s2

Definition at line 157 of file sc_list.c.

{
  Pcontrainte  eq;
  Psysteme  s1, s2;
 
  s1 = sc_dup1( in_s1 );      s2 = sc_dup1( in_s2 );
  if (SC_UNDEFINED_P(in_s1))  {s1 = sc_free1(s1); return(s2);}
  if (SC_UNDEFINED_P(in_s2))  {s2 = sc_free1(s2); return(s1);}
 
  if (s1->nb_eq != 0) {
    for (eq = s1->egalites; eq->succ != (Pcontrainte)NULL; eq = eq->succ) ;
    eq->succ = s2->egalites; s1->nb_eq += s2->nb_eq;
  } 
  else { s1->egalites = s2->egalites; s1->nb_eq = s2->nb_eq; }
  
  if (s1->nb_ineq != 0) {
    for (eq = s1->inegalites;eq->succ != (Pcontrainte)NULL;eq = eq->succ) ;
    eq->succ = s2->inegalites;  s1->nb_ineq += s2->nb_ineq;
  } 
  else { s1->inegalites = s2->inegalites; s1->nb_ineq = s2->nb_ineq; }
  
  /* Memory management and returns */
  vect_rm( s1->base ); vect_rm( s2->base ); free( s2 ); s2 = NULL;
  s1->base = NULL; sc_creer_base( s1 );
  return(s1);
}

References Ssysteme::base, Ssysteme::egalites, eq, free(), Ssysteme::inegalites, Ssysteme::nb_eq, Ssysteme::nb_ineq, s1, sc_creer_base(), sc_dup1(), sc_free1(), Scontrainte::succ, and vect_rm().

Here is the call graph for this function:

sc_dup1()

Psysteme sc_dup1

(

Psysteme

in_ps

)

Psysteme sc_dup1( in_ps ) AL 30/05/94 1 depth copy of in_ps: no duplication of vectors (except for the base).

Sharing !

Parameters

in_ps

n_ps

Definition at line 72 of file sc_list.c.

{
  Psysteme cp = SC_UNDEFINED;
  Pcontrainte eq, eq_cp;
  
  if (!SC_UNDEFINED_P(in_ps)) {
    cp = sc_new();
    
    for (eq = in_ps->egalites; eq != NULL; eq = eq->succ) {
      eq_cp = contrainte_new();
      contrainte_vecteur(eq_cp) = contrainte_vecteur(eq);
      sc_add_egalite(cp, eq_cp);
    }
    
    for(eq=in_ps->inegalites;eq!=NULL;eq=eq->succ) {
      eq_cp = contrainte_new();
      contrainte_vecteur(eq_cp) = contrainte_vecteur(eq);
      sc_add_inegalite(cp, eq_cp);
    }
 
    if(in_ps->dimension==0) {
      assert(VECTEUR_UNDEFINED_P(in_ps->base));
      cp->dimension = 0;
      cp->base = VECTEUR_UNDEFINED;
    }
    else {
      assert(in_ps->dimension==vect_size(in_ps->base));
      cp->dimension = in_ps->dimension;
      cp->base = vect_dup(in_ps->base);    
    }
  }
  return(cp);
}

References assert, contrainte_new(), contrainte_vecteur, cp, eq, sc_add_egalite(), sc_add_inegalite(), sc_new(), Scontrainte::succ, vect_dup(), vect_size(), VECTEUR_UNDEFINED, and VECTEUR_UNDEFINED_P.

Referenced by sc_concatenate().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_free()

Psysteme sc_free

(

Psysteme

in_ps

)

Psysteme sc_free( in_ps ) AL 30/05/94 Free of in_ps.

Returns NULL to be used as in_ps = sc_free( in_ps );

Parameters

in_ps

n_ps

Definition at line 112 of file sc_list.c.

{  sc_rm( in_ps ); return( (Psysteme) NULL ); }

References sc_rm().

Referenced by c_convex_effects_on_actual_parameter_forward_translation(), dj_intersection_ofl_ctrl(), effects_to_dma(), new_system_with_only_live_variable(), pa_free(), pa_intersect_system(), pa_path_to_disjunct_rule4_ofl_ctrl(), pa_path_to_few_disjunct_ofl_ctrl(), region_to_minimal_dimensions(), sc_elim_redund_with_first_ofl_ctrl(), sc_supress_parallel_redund_constraints(), sl_free(), transformer_list_generic_transitive_closure(), xml_Application(), xml_Boxes(), xml_Call(), xml_Loop(), and xml_Pattern_Paving().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_free1()

Psysteme sc_free1

(

Psysteme

in_ps

)

Psysteme sc_free1( in_ps ) AL 30/05/94 Only pcontrainte of in_ps are freed.

Parameters

in_ps

n_ps

Definition at line 121 of file sc_list.c.

{
  Pcontrainte pc, pc2;
 
  if (in_ps != NULL) {
    for(pc = in_ps->inegalites; pc != NULL; ) {
      pc2 = pc;
      pc = pc->succ;
      free(pc2);
      pc2 = NULL;
    }
    for(pc = in_ps->egalites; pc != NULL; ) {
      pc2 = pc;
      pc = pc->succ;
      free(pc2);
      pc2 = NULL;
    }
    in_ps->nb_eq = 0;
    in_ps->nb_ineq = 0;
    in_ps->dimension = 0;
    vect_rm( in_ps->base );
    in_ps->base = NULL;
    
    free((char *) in_ps);
    in_ps = (Psysteme) NULL;
  }
  return( (Psysteme) NULL );
}

References free(), Scontrainte::succ, and vect_rm().

Referenced by sc_concatenate().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_full()

Psysteme sc_full

(

void

)

Psysteme sc_full() similar to sc_new.

Definition at line 58 of file sc_list.c.

{ return sc_new(); }

References sc_new().

Referenced by pa_intersect_complement(), and sc_elim_redund_with_first_ofl_ctrl().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_full_p()

bool sc_full_p

(

Psysteme

in_ps

)

Psysteme sc_full_p( in_ps ) similar to sc_new.

Parameters

in_ps

n_ps

Definition at line 61 of file sc_list.c.

{ return( (in_ps->nb_eq == 0) && (in_ps->nb_ineq == 0) && 
          (in_ps->egalites == NULL) && (in_ps->inegalites == NULL) ); }

Referenced by dj_simple_inegs_to_eg(), pa_path_to_disjunct_rule4_ofl_ctrl(), sc_elim_redund_with_first_ofl_ctrl(), and sl_fprint_tab().

Here is the caller graph for this function:

sl_append_system()

Psyslist sl_append_system	(	Psyslist	in_sl,
		Psysteme	in_ps
	)

Psyslist sl_append_system( (Psyslist) in_sl, (Psysteme) in_ps ) Input : A disjunct in_sl to wich in_ps will be added.

Output : Disjunct in_sl with in_ps. => ! Sharing. Comment: Nothing is checked on result in_sl. AL 10/11/93

Parameters

in_sl	n_sl
in_ps	n_ps

Definition at line 240 of file sc_list.c.

{
  Psyslist ret_sl;
  
  if (in_ps == NULL) return( in_sl );
  ret_sl = sl_new(); ret_sl->psys = in_ps; ret_sl->succ = in_sl;
  return( ret_sl );
}

References Ssyslist::psys, sl_new(), and Ssyslist::succ.

Referenced by dj_append_system(), dj_empty(), dj_intersect_system_ofl_ctrl(), dj_intersection_ofl_ctrl(), dj_simple_inegs_to_eg(), dj_system_complement(), pa_convex_hull_equals_union_p_ofl_ctrl(), pa_inclusion_p_ofl_ctrl(), pa_intersect_complement(), pa_path_to_disjunct_ofl_ctrl(), pa_path_to_disjunct_rule4_ofl_ctrl(), pa_path_to_few_disjunct_ofl_ctrl(), pa_reduce_simple_complement(), pa_supress_same_constraints(), pa_system_difference_ofl_ctrl(), sl_append_system_first(), sl_dup(), and sl_dup1().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_append_system_first()

Psyslist sl_append_system_first	(	Psyslist	in_sl,
		Psysteme	in_ps
	)

Psyslist sl_append_system_first( in_sl, in_ps ) AL 23/03/95 A new Psyslist with in_ps at the end of in_sl (sharing).

Parameters

in_sl	n_sl
in_ps	n_ps

Definition at line 256 of file sc_list.c.

{
  Psyslist new_sl = SL_NULL, sl = SL_NULL;
  
  if (in_ps == NULL) return( in_sl );
  new_sl = sl_append_system(NULL, in_ps);
  if (in_sl == SL_NULL) return new_sl; 
  if (in_sl->succ == NULL) { in_sl->succ = new_sl ; return in_sl; }
  for(sl = in_sl; (sl->succ != NULL); sl = sl->succ) {}
  sl->succ = new_sl;
  return( in_sl );
}

References sl_append_system(), SL_NULL, and Ssyslist::succ.

Here is the call graph for this function:

sl_dup()

Psyslist sl_dup

(

Psyslist

in_sl

)

Psyslist sl_dup( (Psyslist) in_sl ) AL 15/11/93 w - 1 duplication : everything is duplicated, except entities.

Duplicates input syslist.

Parameters

in_sl

n_sl

Definition at line 296 of file sc_list.c.

{
  Psyslist  sl, ret_sl = SL_NULL;
  for( sl = in_sl; sl != NULL; sl = sl->succ ) {
    ret_sl = sl_append_system( ret_sl, sc_dup( sl->psys ) );
  }
  return ret_sl;
}

References Ssyslist::psys, sc_dup(), sl_append_system(), SL_NULL, and Ssyslist::succ.

Referenced by dj_dup(), pa_dup(), pa_intersect_complement(), pa_intersect_system(), and pa_path_to_few_disjunct_ofl_ctrl().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_dup1()

Psyslist sl_dup1

(

Psyslist

in_sl

)

Psyslist sl_dup1( (Psyslist) in_sl ) AL 15/11/93 Duplicates input syslist.

Sharing.

Parameters

in_sl

n_sl

Definition at line 311 of file sc_list.c.

{
  Psyslist  sl, ret_sl = NULL;
  for( sl = in_sl; sl != NULL; sl = sl->succ ) {
    if ( sl->psys == SC_UNDEFINED ) continue;
    ret_sl = sl_append_system( ret_sl, sl->psys );
  }
  return ret_sl;
}

References Ssyslist::psys, sl_append_system(), and Ssyslist::succ.

Referenced by dj_dup1(), and pa_dup1().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_fprint()

void sl_fprint	(	in_fi	,
		in_sl	,
		char *(*)()	in_fu
	)

Definition at line 447 of file sc_list.c.

{ sl_fprint_tab( in_fi, in_sl, in_fu, 0 );  }

References sl_fprint_tab().

Referenced by build_list_of_min(), prepare_reindexing(), separate_variables(), and separate_variables_2().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_fprint_tab()

void sl_fprint_tab	(	FILE*	in_fi,
		Psyslist	in_sl,
		char *(*)()	in_fu,
		int	in_tab
	)

Prints the VAR part

Prints Psysteme list

Special cases

General Cases

Definition at line 383 of file sc_list.c.

{
  Pcontrainte   peq  = NULL;
  Psyslist      sl   = NULL;
  Pbase         b    = NULL, b1;
  char*         tabs = sl_get_tab_string( in_tab );
 
  if (in_sl == SL_NULL) {
    fprintf( in_fi, "\n%sSL_NULL\n", tabs ); 
    free(tabs); return; 
  }
  
  /* Prints the VAR part */
  for(sl = in_sl; sl != NULL; sl = sl->succ) {
    if (sl->psys == NULL) continue;
    b1 = b;
    b  = base_union( b, (sl->psys)->base );
    if ( b != b1 ) { vect_rm( b1 ); b1 = (Pvecteur) NULL; } 
  }
  
  if (vect_size( b ) >= 1 ) {
    fprintf( in_fi,"%s", tabs);
    fprintf( in_fi,"VAR %s", (*in_fu)(vecteur_var(b)));
    for (b1=b->succ; !VECTEUR_NUL_P(b1); b1 = b1->succ)
      fprintf(in_fi,", %s",(*in_fu)(vecteur_var(b1)));
  }
  
  vect_rm( (Pvecteur) b ); b = (Pvecteur) NULL;
 
  /* Prints Psysteme list */
  for(sl = in_sl ; sl != NULL; sl = sl->succ) {
    Psysteme    ps = NULL;
    
    ps = sl->psys;
    
    /* Special cases */
    if ( SC_UNDEFINED_P(ps) ) 
      {fprintf( in_fi, "\n%sSC_UNDEFINED\n", tabs); continue; }
    if ( sc_full_p(ps) ) 
      {fprintf( in_fi, "\n%sSC_FULL\n", tabs); continue; }
    if ( sc_empty_p(ps) ) 
      {fprintf( in_fi, "\n%sSC_EMPTY\n", tabs); continue; }
 
 
    /* General Cases */
    fprintf(in_fi,"\n%s { \n", tabs);
    
    for (peq = ps->inegalites;peq!=NULL;
    fprintf(in_fi,"%s", tabs),
         inegalite_fprint(in_fi,peq,in_fu),peq=peq->succ);
    
    for (peq = ps->egalites;peq!=NULL;
    fprintf(in_fi,"%s", tabs),
         egalite_fprint(in_fi,peq,in_fu),peq=peq->succ);
    
    fprintf(in_fi,"%s } \n", tabs);
  }
  free( tabs );
}

References b1, base_union(), egalite_fprint(), Ssysteme::egalites, fprintf(), free(), inegalite_fprint(), Ssysteme::inegalites, Ssyslist::psys, sc_empty_p(), sc_full_p(), sl_get_tab_string(), SL_NULL, Scontrainte::succ, Ssyslist::succ, Svecteur::succ, vect_rm(), vect_size(), VECTEUR_NUL_P, and vecteur_var.

Referenced by dj_fprint_tab(), pa_fprint_tab(), sl_fprint(), and un_fprint_tab().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_free()

Psyslist sl_free

(

Psyslist

psl

)

Psyslist sl_free(Psyslist psl) BA, AL 30/05/94 w - 1 depth free.

Parameters

psl

sl

Definition at line 327 of file sc_list.c.

{
  if( psl != SL_NULL ) {
    psl->psys = sc_free( psl->psys );
    psl->succ = sl_free(psl->succ);
    free( psl ); psl = NULL;
  }
  return SL_NULL;
}

References free(), Ssyslist::psys, sc_free(), and SL_NULL.

Referenced by dj_free(), pa_free(), pa_path_to_disjunct_rule4_ofl_ctrl(), pa_reduce_simple_complement(), and pa_supress_same_constraints().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_free1()

Psyslist sl_free1

(

Psyslist

psl

)

Psyslist sl_free1(Psyslist psl) AL 30/05/94 1 depth free.

Parameters

psl

sl

Definition at line 343 of file sc_list.c.

{
  if( psl != SL_NULL ) {
    psl->psys = (Psysteme) NULL;
    psl->succ = sl_free1(psl->succ);
    free( psl );
  }
  return SL_NULL;
}

References free(), Ssyslist::psys, and SL_NULL.

Referenced by dj_free1(), pa_free1(), and pa_reduce_simple_complement().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_get_tab_string()

char* sl_get_tab_string

(

int

in_tab

)

char* sl_get_tab_string( in_tab ) returns a string of in_tab \t

Parameters

in_tab

n_tab

Definition at line 366 of file sc_list.c.

{
  int            d;
  static  char   name[20];
#ifndef strdup
  extern  char*  strdup();
#endif
 
  if (in_tab == 0) return strdup("");
  assert( (in_tab > 0) && (in_tab < 20) );
  for(d = 0; d < in_tab; d++){ sprintf(&name[d],"\t"); }
  return strdup(name);
}

References assert, and strdup().

Referenced by dj_fprint_tab(), pa_fprint_tab(), sl_fprint_tab(), and un_fprint_tab().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_init_lex()

void sl_init_lex

(

void

)

Referenced by sl_read().

Here is the caller graph for this function:

sl_is_system_p()

bool sl_is_system_p

(

Psyslist

in_sl

)

bool sl_is_system_p( (Psyslist) in_sl ) AL 16/11/93 Returns True if syslist in_sl has only one Psysteme in it.

Parameters

in_sl

n_sl

Definition at line 230 of file sc_list.c.

{ return ( sl_length(in_sl) == 1 ); } 

References sl_length().

Referenced by dj_is_system_p().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_length()

bool sl_length

(

Psyslist

in_sl

)

int sl_length( (Psyslist) in_sl ) AL 26/04/95 Returns length of in_sl.

Parameters

in_sl

n_sl

Definition at line 193 of file sc_list.c.

{
  int length; Psyslist sl = in_sl;  
  if (in_sl == NULL) return 0;
  for(length = 0; sl != NULL; sl = sl->succ, length++);
  return length; 
}

References Ssyslist::succ.

Referenced by pa_feasibility_ofl_ctrl(), pa_path_to_disjunct_ofl_ctrl(), pa_path_to_disjunct_rule4_ofl_ctrl(), and sl_is_system_p().

Here is the caller graph for this function:

sl_max_constraints_nb()

int sl_max_constraints_nb

(

Psyslist

in_sl

)

int sl_max_constraints_nb( (Psyslist) in_sl ) Give the maximum constraints nb among systems of in_sl.

Parameters

in_sl

n_sl

Definition at line 207 of file sc_list.c.

{ 
  Psysteme   ps;
  int        ret_int = 0;
  
  if (in_sl == NULL) return 0;
  
  for(; in_sl != NULL; in_sl = in_sl->succ) {
    int loc;
    ps  = in_sl->psys; 
    if (sc_empty_p(ps)) continue;
    loc = 2*(ps->nb_eq) + ps->nb_ineq;
    if (loc > ret_int) ret_int = loc;
  }
  return ret_int; 
}

References if(), Ssysteme::nb_eq, Ssysteme::nb_ineq, and sc_empty_p().

Referenced by pa_feasibility_ofl_ctrl(), and pa_max_constraints_nb().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_new()

Psyslist sl_new

(

void

)

Psyslist sl_new() AL 26/10/93 Input : Nothing.

Output : An empty syslist.

Definition at line 277 of file sc_list.c.

{
  Psyslist p;
  
  p = (Psyslist) malloc(sizeof(Ssyslist));
  if (p == NULL) {
    (void) fprintf(stderr,"sl_new: Out of memory space\n");
    exit(-1);
  }
  p->psys = (Psysteme ) NULL; p->succ = (Psyslist) NULL;
  return(p);
}

References exit, fprintf(), malloc(), Ssyslist::psys, and Ssyslist::succ.

Referenced by build_third_comb(), dj_new(), pa_fprint_tab(), prepare_array_bounds(), and sl_append_system().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_read()

Psyslist sl_read

(

char*

nomfic

)

void sl_read(FILE*) reads a Psyslist

Parameters

nomfic

omfic

Definition at line 461 of file sc_list.c.

{
  if ((slx_in = fopen(nomfic, "r")) == NULL) {
    (void) fprintf(stderr, "Ouverture du fichier %s impossible\n",nomfic);
    exit(4);
  }
  sl_init_lex(); slx_parse(); fclose( slx_in );
  return( sl_yacc );
}

References exit, fprintf(), sl_init_lex(), sl_yacc, slx_in, and slx_parse().

Referenced by dj_read(), and pa_read().

Here is the call graph for this function:

Here is the caller graph for this function:

sl_set_variable_name()

void sl_set_variable_name

(

char* (*)()

in_fu

)

char* sl_set_variable_name( in_fu ) give the function to read variables

Definition at line 357 of file sc_list.c.

{
  union_variable_name = in_fu;
}

References union_variable_name.

slx_parse()

int slx_parse

(

void

)

fichier lu par sl_lex.l

Referenced by sl_read().

Here is the caller graph for this function:

un_fprint_tab()

void un_fprint_tab	(	FILE*	in_fi,
		char*	in_un,
		char *(*)()	in_fu,
		int	in_ty,
		int	in_tab
	)

void un_fprint_tab(FILE*, Pdisjunct, function, type, tab) prints a union

Definition at line 475 of file sc_list.c.

{ 
  switch( in_ty ) {
  
  case IS_SC: 
    fprintf  ( in_fi, "Systeme:\n");
    sc_fprint( in_fi, (Psysteme) in_un, in_fu );
    break;
   
  case IS_SL: 
    fprintf      ( in_fi, "%sSyslist:\n", sl_get_tab_string( in_tab ));
    sl_fprint_tab( in_fi, (Psyslist) in_un, in_fu, in_tab );
    break;
   
  case IS_DJ:
    dj_fprint( in_fi, (Pdisjunct) in_un, in_fu );
    break;
    
  case IS_PA:
    pa_fprint( in_fi, (Ppath) in_un, in_fu );
    break;
 
  default: {}
  }
}

References dj_fprint, fprintf(), IS_DJ, IS_PA, IS_SC, IS_SL, pa_fprint, sc_fprint(), sl_fprint_tab(), and sl_get_tab_string().

Here is the call graph for this function:

Variable Documentation

sl_yacc

Psyslist sl_yacc

extern

Definition at line 113 of file sl_gram.c.

Referenced by sl_read().

slx_in

FILE* slx_in

extern

Psysteme construit par sl_gram.y.

Referenced by sl_read().

union_variable_name

char *(* union_variable_name)(Variable)

(

Variable

)

= variable_default_name

Package : C3/union Author : Arnauld LESERVOT (leservot(a)limeil.cea.fr) Date :
Modified : 04 04 95 Documents: UNION.tex : `‘Extension de C3 aux unions de polyedres’' Comments :

sc_list.c

           WARNING

THOSE FUNCTIONS ARE AUTOMATICALLY DERIVED

    FROM THE WEB SOURCES !

Ansi includes
Linear includes

Definition at line 51 of file sc_list.c.

Referenced by dj_disjunct_complement(), dj_intersect_djcomp_ofl_ctrl(), dj_system_complement(), dj_variable_substitution_with_eqs_ofl_ctrl(), pa_feasibility_ofl_ctrl(), pa_path_to_disjunct_rule4_ofl_ctrl(), pa_path_to_few_disjunct_ofl_ctrl(), pa_reduce_simple_complement(), pa_supress_same_constraints(), sc_elim_redund_with_first_ofl_ctrl(), sc_supress_parallel_redund_constraints(), sc_supress_same_constraints(), and sl_set_variable_name().