CaDiCaL::Parser Class Reference

#include <parse.hpp>

Public Member Functions
	Parser (Solver *s, File *f, bool *i, vector< int > *c)
const char *	parse_dimacs (int &vars, int strict)
const char *	parse_solution ()

Detailed Description

Definition at line 19 of file parse.hpp.

Constructor & Destructor Documentation

Parser()

CaDiCaL::Parser::Parser ( Solver * s, File * f, bool * i, vector< int > * c )

inline

Definition at line 48 of file parse.hpp.

      : solver (s), internal (s->internal), external (s->external),
        file (f), parse_inccnf_too (i), cubes (c) {}

Member Function Documentation

parse_dimacs()

const char * CaDiCaL::Parser::parse_dimacs	(	int &	vars,
		int	strict )

Definition at line 425 of file cadical_parse.cpp.

                                                       {
  CADICAL_assert (strict == FORCED || strict == RELAXED || strict == STRICT);
  START (parse);
  const char *err = parse_dimacs_non_profiled (vars, strict);
  STOP (parse);
  return err;
}

parse_solution()

const char * CaDiCaL::Parser::parse_solution

(

)

Definition at line 433 of file cadical_parse.cpp.

                                    {
  START (parse);
  const char *err = parse_solution_non_profiled ();
  STOP (parse);
  return err;
}

---

The documentation for this class was generated from the following files:

• src/sat/cadical/parse.hpp
• src/sat/cadical/cadical_parse.cpp