Clasp::SmallClauseAlloc Class Reference

Allocator for small (at most 32-byte) clauses. More...

#include <solver_types.h>

List of all members.

Classes
struct	Block
struct	Chunk
Public Member Functions
void *	allocate ()
void	free (void *mem)
	SmallClauseAlloc ()
	~SmallClauseAlloc ()
Private Member Functions
void	allocBlock ()
SmallClauseAlloc &	operator= (const SmallClauseAlloc &)
	SmallClauseAlloc (const SmallClauseAlloc &)
Private Attributes
Block *	blocks_
Chunk *	freeList_

---

Detailed Description

Allocator for small (at most 32-byte) clauses.

Definition at line 503 of file solver_types.h.

---

Constructor & Destructor Documentation

Clasp::SmallClauseAlloc::SmallClauseAlloc

(

)

Definition at line 128 of file solver_types.cpp.

Clasp::SmallClauseAlloc::~SmallClauseAlloc

(

)

Definition at line 129 of file solver_types.cpp.

Clasp::SmallClauseAlloc::SmallClauseAlloc

(

const SmallClauseAlloc &

)

[private]

---

Member Function Documentation

void* Clasp::SmallClauseAlloc::allocate

(

)

[inline]

Definition at line 507 of file solver_types.h.

void Clasp::SmallClauseAlloc::allocBlock

(

)

[private]

Definition at line 138 of file solver_types.cpp.

void Clasp::SmallClauseAlloc::free

(

void *

mem

)

[inline]

Definition at line 515 of file solver_types.h.

SmallClauseAlloc& Clasp::SmallClauseAlloc::operator=

(

const SmallClauseAlloc &

)

[private]

---

Member Data Documentation

Block* Clasp::SmallClauseAlloc::blocks_ [private]

Definition at line 534 of file solver_types.h.

Chunk* Clasp::SmallClauseAlloc::freeList_ [private]

Definition at line 535 of file solver_types.h.

---

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

• solver_types.h
• solver_types.cpp