parse.h

Go to the documentation of this file.

#ifndef _parse_h_INCLUDED
#define _parse_h_INCLUDED
 
#include "file.h"
 
#include "global.h"
ABC_NAMESPACE_HEADER_START
 
enum strictness {
  RELAXED_PARSING = 0,
  NORMAL_PARSING = 1,
  PEDANTIC_PARSING = 2,
};
 
typedef enum strictness strictness;
 
struct kissat;
 
const char *kissat_parse_dimacs (struct kissat *, strictness, file *,
                                 uint64_t *linenoptr, int *max_var_ptr);
 
ABC_NAMESPACE_HEADER_END
 
#endif