CaDiCaL::WitnessWriter Struct Reference

Inheritance diagram for CaDiCaL::WitnessWriter:

Collaboration diagram for CaDiCaL::WitnessWriter:

Public Member Functions
	WitnessWriter (File *f)
bool	write (const vector< int > &a)
bool	witness (const vector< int > &c, const vector< int > &w, int64_t)
Public Member Functions inherited from CaDiCaL::WitnessIterator
virtual	~WitnessIterator ()
virtual bool	witness (const std::vector< int > &clause, const std::vector< int > &witness, int64_t id=0)=0

Public Attributes
File *	file
int64_t	witnesses

Detailed Description

Definition at line 1609 of file cadical_solver.cpp.

Constructor & Destructor Documentation

WitnessWriter()

CaDiCaL::WitnessWriter::WitnessWriter ( File * f )

inline

Definition at line 1612 of file cadical_solver.cpp.

: file (f), witnesses (0) {}

Member Function Documentation

witness()

bool CaDiCaL::WitnessWriter::witness ( const vector< int > & c, const vector< int > & w, int64_t  )

inline

Definition at line 1622 of file cadical_solver.cpp.

                                                                     {
    if (!write (c))
      return false;
    if (!file->put (' '))
      return false;
    if (!write (w))
      return false;
    if (!file->put ('\n'))
      return false;
    witnesses++;
    return true;
  }

Here is the call graph for this function:

write()

bool CaDiCaL::WitnessWriter::write ( const vector< int > & a )

inline

Definition at line 1613 of file cadical_solver.cpp.

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

Here is the caller graph for this function:

Member Data Documentation

file

File* CaDiCaL::WitnessWriter::file

Definition at line 1610 of file cadical_solver.cpp.

witnesses

int64_t CaDiCaL::WitnessWriter::witnesses

Definition at line 1611 of file cadical_solver.cpp.

---

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

• src/sat/cadical/cadical_solver.cpp