/*-----------------------------------------------------------------------

File  : can_infstate.h

Author: Stephan Schulz

Contents
 
  Data structures for representing the state of an inference process. 

  Copyright 1998, 1999 by the author.
  This code is released under the GNU General Public Licence and
  the GNU Lesser General Public License.
  See the file COPYING in the main E directory for details..
  Run "eprover -h" for contact information.

Changes

<1> Fri Feb 26 23:25:00 MET 1999
    New

-----------------------------------------------------------------------*/

#ifndef CAN_INFSTATE

#define CAN_INFSTATE

#include <ccl_inferencedoc.h>
#include <ccl_clausesets.h>
#include <can_clausestore.h>

/*---------------------------------------------------------------------*/
/*                    Data type declarations                           */
/*---------------------------------------------------------------------*/






/*---------------------------------------------------------------------*/
/*                Exported Functions and Variables                     */
/*---------------------------------------------------------------------*/


#endif

/*---------------------------------------------------------------------*/
/*                        End of File                                  */
/*---------------------------------------------------------------------*/