version_8hpp_source.html

#include "global.h"


ABC_NAMESPACE_CXX_HEADER_START


namespace CaDiCaL {


const char *version ();

const char *copyright ();

const char *authors ();

const char *affiliations ();

const char *signature ();

const char *identifier ();

const char *compiler ();

const char *date ();

const char *flags ();


} // namespace CaDiCaL


ABC_NAMESPACE_CXX_HEADER_END

ABC_NAMESPACE_CXX_HEADER_START
#define ABC_NAMESPACE_CXX_HEADER_START
Definition abc_namespaces.h:52

ABC_NAMESPACE_CXX_HEADER_END
#define ABC_NAMESPACE_CXX_HEADER_END
Definition abc_namespaces.h:53

global.h

CaDiCaL
Definition arena.hpp:8

CaDiCaL::authors
const char * authors()
Definition cadical_version.cpp:103

CaDiCaL::version
const char * version()
Definition cadical_version.cpp:101

CaDiCaL::signature
const char * signature()
Definition cadical_version.cpp:105

CaDiCaL::date
const char * date()
Definition cadical_version.cpp:108

CaDiCaL::identifier
const char * identifier()
Definition cadical_version.cpp:106

CaDiCaL::flags
const char * flags()
Definition cadical_version.cpp:109

CaDiCaL::affiliations
const char * affiliations()
Definition cadical_version.cpp:104

CaDiCaL::copyright
const char * copyright()
Definition cadical_version.cpp:102

CaDiCaL::compiler
const char * compiler()
Definition cadical_version.cpp:107