/***********************************
  (C) Copyright 1992-1993; dit/upm
  Distributed under the conditions stated in the
  TOPO General Public License (see file LICENSE)
  ***********************************/

/***********************************
  
  Maria Hultstrom
  
  10 September 1990
  
  Removes unused variables in the specification, the process 
  definitions and the process instantiations.
  
  COMPILATION OPTIONS: The behaviour of this module can be modified
  by the following compilation flags:
  
  (none)
  
  TYPE DEFINITIONS:
  
  (none)
  
  FUNCTION DEFINITIONS:
  RmParameters : unused parameters removal from a range of processes
  
  ************************************/

#ifndef EXrmparam_H
#define EXrmparam_H


/* RmParameters
 * Removes unused variables in the specification, the process 
 * definitions and the process instantiations.
 * RmParameters takes a behaviour and a
 * number indicating which processes should be affected as
 * input. All processes with a descriptor type greater than
 * the firstproc will be searched.
 */
extern void RmParameters( /* b,firstproc */ );
/*  BehTyp b;
    DescriptorTyp  firstProc;  */


#endif



