reduceDB_lt Struct Reference

Public Member Functions
	reduceDB_lt (ClauseAllocator &ca_)
bool	operator() (CRef x, CRef y)

Data Fields
ClauseAllocator &	ca

Detailed Description

Definition at line 519 of file Solver.cpp.

Constructor & Destructor Documentation

reduceDB_lt::reduceDB_lt ( ClauseAllocator &  ca_ )

inline

Definition at line 521 of file Solver.cpp.

: ca(ca_) {}

Member Function Documentation

bool reduceDB_lt::operator() ( CRef  x, CRef  y  )

inline

Definition at line 522 of file Solver.cpp.

                                      { 
        return ca[x].size() > 2 && (ca[y].size() == 2 || ca[x].activity() < ca[y].activity()); } 

Field Documentation

ClauseAllocator& reduceDB_lt::ca

Definition at line 520 of file Solver.cpp.

---

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

• Solver.cpp