Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
ClauseUtils::ClauseExchangeHash Struct Reference

Hash functor for ClauseExchange objects. More...

#include <ClauseUtils.hpp>

Collaboration diagram for ClauseUtils::ClauseExchangeHash:

Public Member Functions

std::size_t operator() (const ClauseExchange &clause) const
 

Detailed Description

Hash functor for ClauseExchange objects.


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