CaDiCaL::ClauseCopier Struct Reference

Inheritance diagram for CaDiCaL::ClauseCopier:

Collaboration diagram for CaDiCaL::ClauseCopier:

Public Member Functions
	ClauseCopier (Solver &d)
bool	clause (const vector< int > &c)
Public Member Functions inherited from CaDiCaL::ClauseIterator
virtual	~ClauseIterator ()
virtual bool	clause (const std::vector< int > &)=0

Public Attributes
Solver &	dst

Detailed Description

Definition at line 1667 of file cadical_solver.cpp.

Constructor & Destructor Documentation

ClauseCopier()

CaDiCaL::ClauseCopier::ClauseCopier ( Solver & d )

inline

Definition at line 1671 of file cadical_solver.cpp.

: dst (d) {}

Member Function Documentation

clause()

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

inline

Definition at line 1672 of file cadical_solver.cpp.

                                     {
    for (const auto &lit : c)
      dst.add (lit);
    dst.add (0);
    return true;
  }

Member Data Documentation

dst

Solver& CaDiCaL::ClauseCopier::dst

Definition at line 1668 of file cadical_solver.cpp.

---

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

• src/sat/cadical/cadical_solver.cpp