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

Functor for the priority queue used in solve() More...

#include <StructuredBva.hpp>

Collaboration diagram for PairCompare:

Public Types

typedef bool(*) compareFunc(const queuePair &, const queuePair &)
 

Public Member Functions

 PairCompare (compareFunc func)
 
bool operator() (const queuePair &lhs, const queuePair &rhs) const
 

Public Attributes

compareFunc func
 

Detailed Description

Functor for the priority queue used in solve()


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