reduceDB_lt Struct Reference

Collaboration diagram for reduceDB_lt:

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

Data Fields
ClauseAllocator &	ca

Detailed Description

Definition at line 577 of file Solver.cc.

Constructor & Destructor Documentation

reduceDB_lt::reduceDB_lt ( ClauseAllocator &  ca_ )

inline

Definition at line 579 of file Solver.cc.

: ca(ca_) {}

Member Function Documentation

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

inline

Definition at line 580 of file Solver.cc.

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

Field Documentation

ClauseAllocator& reduceDB_lt::ca

Definition at line 578 of file Solver.cc.

---

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

• Solver.cc