CaDiCaL::Learner Class Reference

#include <cadical.hpp>

Inheritance diagram for CaDiCaL::Learner:

Public Member Functions
virtual	~Learner ()
virtual bool	learning (int size)=0
virtual void	learn (int lit)=0

Detailed Description

Definition at line 1184 of file cadical.hpp.

Constructor & Destructor Documentation

~Learner()

virtual CaDiCaL::Learner::~Learner ( )

inlinevirtual

Definition at line 1186 of file cadical.hpp.

{}

Member Function Documentation

learn()

virtual void CaDiCaL::Learner::learn ( int lit )

pure virtual

Implemented in CaDiCaL::Wrapper.

learning()

virtual bool CaDiCaL::Learner::learning ( int size )

pure virtual

Implemented in CaDiCaL::Wrapper.

---

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

• src/sat/cadical/cadical.hpp