Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

Loading...
Searching...
No Matches
Minisat::Internal::SimpSolver::ClauseDeleted Struct Reference

#include <ogdf/lib/minisat/simp/SimpSolver.h>

Public Member Functions

 ClauseDeleted (const ClauseAllocator &_ca)
 
bool operator() (const CRef &cr) const
 

Public Attributes

const ClauseAllocatorca
 

Detailed Description

Definition at line 121 of file SimpSolver.h.

Constructor & Destructor Documentation

◆ ClauseDeleted()

Minisat::Internal::SimpSolver::ClauseDeleted::ClauseDeleted ( const ClauseAllocator _ca)
inlineexplicit

Definition at line 123 of file SimpSolver.h.

Member Function Documentation

◆ operator()()

bool Minisat::Internal::SimpSolver::ClauseDeleted::operator() ( const CRef cr) const
inline

Definition at line 124 of file SimpSolver.h.

Member Data Documentation

◆ ca

const ClauseAllocator& Minisat::Internal::SimpSolver::ClauseDeleted::ca

Definition at line 122 of file SimpSolver.h.


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