kcmcp_client.h File Reference

In-extension KCMCP client: compile a Boolean problem on a warm, socket-attached knowledge compiler instead of spawning a CLI tool. More...

#include <cstdint>
#include <string>

Include dependency graph for kcmcp_client.h:

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

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

In-extension KCMCP client: compile a Boolean problem on a warm, socket-attached knowledge compiler instead of spawning a CLI tool.

Speaks the protocol defined in doc/source/dev/kc-server-protocol.rst, over the shared kcmcp_protocol codec. Used by BooleanCircuit::compilation() when the selected compile tool is a registry record of kind "kcmcp". The reference server is tdkc --kcmcp (see kcmcp_server.h).

Definition in file kcmcp_client.h.