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

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

1197{}

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: