ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
CaDiCaL::Learner Class Referenceabstract

#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.

1186{}

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: