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

/***********************************
  
  
  Miguel Angel Palomares Ortega
  
  11-11-1992
  
  This module implements an expansion algorithm that
  removes no determinism in each analized state.
  
  
  ************************************/



#ifndef ievcdeex_H
#define ievcdeex_H

#ifdef INVEXP

/* VC_DE_Expand
 * Expansion of b until depth d.
 */
extern void VC_DE_Expand( /* b, verbose */ );
/*  BehTyp  b;
    boolean verbose; */

#endif /* INVEXP */

#endif


