CaDiCaL::Arena Class Reference

#include <arena.hpp>

Public Member Functions
	Arena (Internal *)
	~Arena ()
void	prepare (size_t bytes)
bool	contains (void *p) const
char *	copy (const char *p, size_t bytes)
void	swap ()

Detailed Description

Definition at line 60 of file arena.hpp.

Constructor & Destructor Documentation

Arena()

CaDiCaL::Arena::Arena

(

Internal *

i

)

Definition at line 9 of file cadical_arena.cpp.

                         {
  memset (this, 0, sizeof *this);
  internal = i;
}

Here is the call graph for this function:

~Arena()

CaDiCaL::Arena::~Arena

(

)

Definition at line 14 of file cadical_arena.cpp.

               {
  delete[] from.start;
  delete[] to.start;
}

Member Function Documentation

contains()

bool CaDiCaL::Arena::contains ( void * p ) const

inline

Definition at line 81 of file arena.hpp.

                                {
    char *c = (char *) p;
    return (from.start <= c && c < from.top) ||
           (to.start <= c && c < to.top);
  }

copy()

char * CaDiCaL::Arena::copy ( const char * p, size_t bytes )

inline

Definition at line 92 of file arena.hpp.

                                           {
    char *res = to.top;
    to.top += bytes;
    CADICAL_assert (to.top <= to.end);
    memcpy (res, p, bytes);
    return res;
  }

Here is the call graph for this function:

prepare()

void CaDiCaL::Arena::prepare

(

size_t

bytes

)

Definition at line 19 of file cadical_arena.cpp.

                                 {
  LOG ("preparing 'to' space of arena with %zd bytes", bytes);
  CADICAL_assert (!to.start);
  to.top = to.start = new char[bytes];
  to.end = to.start + bytes;
}

swap()

void CaDiCaL::Arena::swap

(

)

Definition at line 26 of file cadical_arena.cpp.

                  {
  delete[] from.start;
  LOG ("delete 'from' space of arena with %zd bytes",
       (size_t) (from.end - from.start));
  from = to;
  to.start = to.top = to.end = 0;
}

Member Data Documentation

end

char * CaDiCaL::Arena::end

Definition at line 65 of file arena.hpp.

start

char* CaDiCaL::Arena::start

Definition at line 65 of file arena.hpp.

top

char * CaDiCaL::Arena::top

Definition at line 65 of file arena.hpp.

---

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

• src/sat/cadical/arena.hpp
• src/sat/cadical/cadical_arena.cpp