smtrat::SATModule< Settings >::UnorderedClauseLookup::UnorderedClauseHasher Struct Reference

#include <SATModule.h>

Public Member Functions
std::size_t	operator() (const std::vector< Minisat::Lit > &cl) const

Detailed Description

template<class Settings>
struct smtrat::SATModule< Settings >::UnorderedClauseLookup::UnorderedClauseHasher

Definition at line 647 of file SATModule.h.

Member Function Documentation

operator()()

template<class Settings >

std::size_t smtrat::SATModule< Settings >::UnorderedClauseLookup::UnorderedClauseHasher::operator() ( const std::vector< Minisat::Lit > &  cl ) const

inline

Definition at line 648 of file SATModule.h.

---

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

• smtrat-modules/SATModule/SATModule.h