/* search.h
 *
 * Written by Matt Levy
 * Modified 20 Aug 1999 by Neil Moore <neil@cs.uky.edu>
 *
 * Part of lderes.  See COPYRIGHT for copyright information.
 *
 */

#ifndef _SEARCH_H
#define _SEARCH_H	1

/* Prototypes */

int FindExtensions(SimpleDefaultTheory *theory, int numberExtensions);

#endif /* _SEARCH_H */
