CaDiCaL::Format Class Reference

#include <format.hpp>

Public Member Functions
	Format ()
	~Format ()
const char *	init (const char *fmt,...) CADICAL_ATTRIBUTE_FORMAT(2
const char const char *	append (const char *fmt,...) CADICAL_ATTRIBUTE_FORMAT(2
const char const char	operator const char * () const

Detailed Description

Definition at line 17 of file format.hpp.

Constructor & Destructor Documentation

Format()

CaDiCaL::Format::Format ( )

inline

Definition at line 28 of file format.hpp.

: buffer (0), count (0), size (0) {}

~Format()

CaDiCaL::Format::~Format ( )

inline

Definition at line 29 of file format.hpp.

             {
    if (buffer)
      delete[] buffer;
  }

Member Function Documentation

append()

const char * CaDiCaL::Format::append	(	const char *	fmt,
			... )

Definition at line 85 of file cadical_format.cpp.

                                                {
  va_list ap;
  va_start (ap, fmt);
  const char *res = add (fmt, ap);
  va_end (ap);
  return res;
}

init()

const char * CaDiCaL::Format::init	(	const char *	fmt,
			... )

Definition at line 76 of file cadical_format.cpp.

                                              {
  count = 0;
  va_list ap;
  va_start (ap, fmt);
  const char *res = add (fmt, ap);
  va_end (ap);
  return res;
}

operator const char *()

const char const char CaDiCaL::Format::operator const char * ( ) const

inline

Definition at line 35 of file format.hpp.

{ return count ? buffer : 0; }

---

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

• src/sat/cadical/format.hpp
• src/sat/cadical/cadical_format.cpp