kcmcp_server.h File Reference

The tdkc KCMCP reference server. More...

#include <string>

Include dependency graph for kcmcp_server.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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

Detailed Description

The tdkc KCMCP reference server.

Runs tdkc as a KCMCP-compliant engine (see doc/source/dev/kc-server-protocol.rst): it accepts connections on a Unix or TCP endpoint, advertises compile (to ddnnf-nnf) and wmc (to decimal) over dimacs-cnf input, and serves each request by building a d-DNNF through ProvSQL's in-process tree decomposition. It is a reference / conformance implementation of the protocol; ProvSQL itself keeps tree decomposition in-process rather than talking to it over a socket.

Definition in file kcmcp_server.h.

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: