Open
Graph Drawing
Framework

 v. 2022.02 (Dogwood)
 

Minisat::Internal::ClauseAllocator Class Reference

#include <ogdf/lib/minisat/core/SolverTypes.h>

+ Inheritance diagram for Minisat::Internal::ClauseAllocator:

Public Member Functions

 ClauseAllocator ()
 
 ClauseAllocator (uint32_t start_cap)
 
Ref ael (const Clause *t)
 
template<class Lits >
CRef alloc (const Lits &ps, bool learnt=false)
 
void free (CRef cid)
 
Clauselea (Ref r)
 
const Clauselea (Ref r) const
 
void moveTo (ClauseAllocator &to)
 
Clauseoperator[] (Ref r)
 
const Clauseoperator[] (Ref r) const
 
void reloc (CRef &cr, ClauseAllocator &to)
 
- Public Member Functions inherited from Minisat::Internal::RegionAllocator< uint32_t >
 RegionAllocator (uint32_t start_cap=1024 *1024)
 
 ~RegionAllocator ()
 
Ref ael (const uint32_t *t)
 
Ref alloc (int size)
 
void free (int size)
 
uint32_t * lea (Ref r)
 
const uint32_t * lea (Ref r) const
 
void moveTo (RegionAllocator &to)
 
uint32_t & operator[] (Ref r)
 
const uint32_t & operator[] (Ref r) const
 
uint32_t size () const
 
uint32_t wasted () const
 

Public Attributes

bool extra_clause_field
 

Static Private Member Functions

static int clauseWord32Size (int size, bool has_extra)
 

Additional Inherited Members

- Public Types inherited from Minisat::Internal::RegionAllocator< uint32_t >
enum  
 
enum  
 
using Ref = uint32_t
 

Detailed Description

Definition at line 211 of file SolverTypes.h.

Constructor & Destructor Documentation

◆ ClauseAllocator() [1/2]

Minisat::Internal::ClauseAllocator::ClauseAllocator ( uint32_t  start_cap)
inline

Definition at line 218 of file SolverTypes.h.

◆ ClauseAllocator() [2/2]

Minisat::Internal::ClauseAllocator::ClauseAllocator ( )
inline

Definition at line 219 of file SolverTypes.h.

Member Function Documentation

◆ ael()

Ref Minisat::Internal::ClauseAllocator::ael ( const Clause t)
inline

Definition at line 243 of file SolverTypes.h.

◆ alloc()

template<class Lits >
CRef Minisat::Internal::ClauseAllocator::alloc ( const Lits &  ps,
bool  learnt = false 
)
inline

Definition at line 226 of file SolverTypes.h.

◆ clauseWord32Size()

static int Minisat::Internal::ClauseAllocator::clauseWord32Size ( int  size,
bool  has_extra 
)
inlinestaticprivate

Definition at line 213 of file SolverTypes.h.

◆ free()

void Minisat::Internal::ClauseAllocator::free ( CRef  cid)
inline

Definition at line 245 of file SolverTypes.h.

◆ lea() [1/2]

Clause* Minisat::Internal::ClauseAllocator::lea ( Ref  r)
inline

Definition at line 241 of file SolverTypes.h.

◆ lea() [2/2]

const Clause* Minisat::Internal::ClauseAllocator::lea ( Ref  r) const
inline

Definition at line 242 of file SolverTypes.h.

◆ moveTo()

void Minisat::Internal::ClauseAllocator::moveTo ( ClauseAllocator to)
inline

Definition at line 221 of file SolverTypes.h.

◆ operator[]() [1/2]

Clause& Minisat::Internal::ClauseAllocator::operator[] ( Ref  r)
inline

Definition at line 239 of file SolverTypes.h.

◆ operator[]() [2/2]

const Clause& Minisat::Internal::ClauseAllocator::operator[] ( Ref  r) const
inline

Definition at line 240 of file SolverTypes.h.

◆ reloc()

void Minisat::Internal::ClauseAllocator::reloc ( CRef cr,
ClauseAllocator to 
)
inline

Definition at line 251 of file SolverTypes.h.

Member Data Documentation

◆ extra_clause_field

bool Minisat::Internal::ClauseAllocator::extra_clause_field

Definition at line 216 of file SolverTypes.h.


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