CaDiCaL::ClauseWriter Class Reference

Inheritance diagram for CaDiCaL::ClauseWriter:

Collaboration diagram for CaDiCaL::ClauseWriter:

Public Member Functions
	ClauseWriter (File *f)
bool	clause (const vector< int > &c)
Public Member Functions inherited from CaDiCaL::ClauseIterator
virtual	~ClauseIterator ()
virtual bool	clause (const std::vector< int > &)=0

Detailed Description

Definition at line 1549 of file cadical_solver.cpp.

Constructor & Destructor Documentation

ClauseWriter()

CaDiCaL::ClauseWriter::ClauseWriter ( File * f )

inline

Definition at line 1553 of file cadical_solver.cpp.

: file (f) {}

Member Function Documentation

clause()

bool CaDiCaL::ClauseWriter::clause ( const vector< int > & c )

inline

Definition at line 1554 of file cadical_solver.cpp.

                                     {
    for (const auto &lit : c) {
      if (!file->put (lit))
        return false;
      if (!file->put (' '))
        return false;
    }
    return file->put ("0\n");
  }

---

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

• src/sat/cadical/cadical_solver.cpp