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

Collaboration diagram for smtrat::SATModule< Settings >::UnorderedClauseLookup:

Data Structures
struct	UnorderedClauseHasher

Public Member Functions
void	preprocess (std::vector< Minisat::Lit > &cl) const
bool	contains (const std::vector< Minisat::Lit > &cl) const
void	insert (const std::vector< Minisat::Lit > &cl)
void	clear ()

Data Fields
std::unordered_set< std::vector< Minisat::Lit >, UnorderedClauseHasher >	mData
	Stores all clauses as sets to quickly check for duplicates. More...

Detailed Description

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

Definition at line 646 of file SATModule.h.

Member Function Documentation

clear()

template<class Settings >

void smtrat::SATModule< Settings >::UnorderedClauseLookup::clear ( )

inline

Definition at line 666 of file SATModule.h.

contains()

template<class Settings >

bool smtrat::SATModule< Settings >::UnorderedClauseLookup::contains ( const std::vector< Minisat::Lit > &  cl ) const

inline

Definition at line 660 of file SATModule.h.

Here is the caller graph for this function:

insert()

template<class Settings >

void smtrat::SATModule< Settings >::UnorderedClauseLookup::insert ( const std::vector< Minisat::Lit > &  cl )

inline

Definition at line 663 of file SATModule.h.

Here is the caller graph for this function:

preprocess()

template<class Settings >

void smtrat::SATModule< Settings >::UnorderedClauseLookup::preprocess ( std::vector< Minisat::Lit > &  cl ) const

inline

Definition at line 657 of file SATModule.h.

Here is the call graph for this function:

Here is the caller graph for this function:

Field Documentation

mData

template<class Settings >

std::unordered_set<std::vector<Minisat::Lit>, UnorderedClauseHasher> smtrat::SATModule< Settings >::UnorderedClauseLookup::mData

Stores all clauses as sets to quickly check for duplicates.

Definition at line 655 of file SATModule.h.

---

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

• smtrat-modules/SATModule/SATModule.h