kcmcp_client.cpp File Reference

Implementation of the in-extension KCMCP client (see kcmcp_client.h). More...

#include "postgres.h"
#include "miscadmin.h"
#include "storage/ipc.h"
#include <sys/socket.h>
#include <sys/un.h>
#include <netdb.h>
#include <poll.h>
#include <unistd.h>
#include <string.h>
#include <errno.h>
#include "kcmcp_client.h"
#include "kcmcp_protocol.h"
#include <stdexcept>
#include <string>

Include dependency graph for kcmcp_client.cpp:

Go to the source code of this file.

Namespaces
namespace	provsql

Functions
std::string	provsql::kcmcp_compile (const std::string &endpoint, uint8_t input_format, const std::string &problem)
	Compile problem on a KCMCP server and return its d-DNNF NNF text.

Detailed Description

Implementation of the in-extension KCMCP client (see kcmcp_client.h).

Definition in file kcmcp_client.cpp.