CaDiCaL::FixedAssignmentListener Class Reference

#include <cadical.hpp>

Public Member Functions
virtual	~FixedAssignmentListener ()
virtual void	notify_fixed_assignment (int)=0

Detailed Description

Definition at line 1195 of file cadical.hpp.

Constructor & Destructor Documentation

~FixedAssignmentListener()

virtual CaDiCaL::FixedAssignmentListener::~FixedAssignmentListener ( )

inlinevirtual

Definition at line 1197 of file cadical.hpp.

{}

Member Function Documentation

notify_fixed_assignment()

virtual void CaDiCaL::FixedAssignmentListener::notify_fixed_assignment ( int )

pure virtual

---

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

• src/sat/cadical/cadical.hpp