Gluco2::SimpSolver::ClauseDeleted Struct Reference

#include <SimpSolver.h>

Collaboration diagram for Gluco2::SimpSolver::ClauseDeleted:

Public Member Functions
	ClauseDeleted (const ClauseAllocator &_ca)
bool	operator() (const CRef &cr) const

Public Attributes
const ClauseAllocator &	ca

Detailed Description

Definition at line 139 of file SimpSolver.h.

Constructor & Destructor Documentation

ClauseDeleted()

Gluco2::SimpSolver::ClauseDeleted::ClauseDeleted ( const ClauseAllocator & _ca )

inlineexplicit

Definition at line 141 of file SimpSolver.h.

: ca(_ca) {}

Member Function Documentation

operator()()

bool Gluco2::SimpSolver::ClauseDeleted::operator() ( const CRef & cr ) const

inline

Definition at line 142 of file SimpSolver.h.

{ return ca[cr].mark() == 1; } };

Member Data Documentation

ca

const ClauseAllocator& Gluco2::SimpSolver::ClauseDeleted::ca

Definition at line 140 of file SimpSolver.h.

---

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

• src/sat/glucose2/SimpSolver.h