cnf_iface Class Reference

#include <cnf_iface.h>

Inheritance diagram for cnf_iface:

Public Member Functions
virtual void	setto (literalt a, bool val)=0
virtual void	lcnf (const bvt &bv)=0

Member Function Documentation

lcnf()

virtual void cnf_iface::lcnf ( const bvt & bv )

pure virtual

Implemented in minisat_convt.

setto()

virtual void cnf_iface::setto ( literalt a, bool val )

pure virtual

Implemented in minisat_convt.

---

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

• src/solvers/sat/cnf_iface.h