kcmcp_server.cpp File Reference

Implementation of the tdkc KCMCP reference server (see kcmcp_server.h and doc/source/dev/kc-server-protocol.rst). More...

#include "kcmcp_server.h"
#include "kcmcp_protocol.h"
#include "dimacs_cnf.h"
#include "tdkc_interrupt.h"
#include "BooleanCircuit.h"
#include "dDNNF.h"
#include "dDNNFTreeDecompositionBuilder.h"
#include "TreeDecomposition.h"
#include "Circuit.hpp"
#include <boost/property_tree/ptree.hpp>
#include <boost/property_tree/json_parser.hpp>
#include <algorithm>
#include <chrono>
#include <cstdio>
#include <iomanip>
#include <sstream>
#include <stdexcept>
#include <string>
#include <sys/socket.h>
#include <sys/un.h>
#include <netdb.h>
#include <poll.h>
#include <unistd.h>
#include <signal.h>
#include <errno.h>
#include <string.h>

Include dependency graph for kcmcp_server.cpp:

Go to the source code of this file.

Typedefs
using	steady = std::chrono::steady_clock

Functions
void	provsql_tdkc_poll ()
int	kcmcp_serve (const std::string &endpoint)
	Serve KCMCP on endpoint until terminated.

Detailed Description

Implementation of the tdkc KCMCP reference server (see kcmcp_server.h and doc/source/dev/kc-server-protocol.rst).

Definition in file kcmcp_server.cpp.

Typedef Documentation

steady

using steady = std::chrono::steady_clock

Definition at line 40 of file kcmcp_server.cpp.

Function Documentation

kcmcp_serve()

int kcmcp_serve

(

const std::string &

endpoint

)

Serve KCMCP on endpoint until terminated.

Parameters

endpoint

"unix:/path/to.sock" or "host:port" (e.g. "127.0.0.1:9000").

Returns

process exit code (non-zero on a setup failure).

Definition at line 388 of file kcmcp_server.cpp.

Here is the caller graph for this function:

provsql_tdkc_poll()

void provsql_tdkc_poll

(

)

Definition at line 342 of file kcmcp_server.cpp.

Here is the call graph for this function: