parse.h File Reference

#include "file.h"
#include "global.h"

Include dependency graph for parse.h:

Go to the source code of this file.

Typedefs
typedef enum strictness	strictness

Enumerations
enum	strictness { RELAXED_PARSING = 0 , NORMAL_PARSING = 1 , PEDANTIC_PARSING = 2 }

Functions
const char *	kissat_parse_dimacs (struct kissat *, strictness, file *, uint64_t *linenoptr, int *max_var_ptr)

Typedef Documentation

strictness

typedef enum strictness strictness

Definition at line 15 of file parse.h.

Enumeration Type Documentation

strictness

enum strictness

Enumerator
RELAXED_PARSING
NORMAL_PARSING
PEDANTIC_PARSING

Definition at line 9 of file parse.h.

                {
  RELAXED_PARSING = 0,
  NORMAL_PARSING = 1,
  PEDANTIC_PARSING = 2,
};

Function Documentation

kissat_parse_dimacs()

const char * kissat_parse_dimacs	(	struct kissat *	,
		strictness	,
		file *	,
		uint64_t *	linenoptr,
		int *	max_var_ptr )