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)
Clause *	lea (Ref r)
const Clause *	lea (Ref r) const
void	moveTo (ClauseAllocator &to)
Clause &	operator[] (Ref r)
const Clause &	operator[] (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:

• include/ogdf/lib/minisat/core/SolverTypes.h