Support for building applications on top of clingo. More...

Classes
class	Clingo::Options
	Object to add command-line options. More...

class	Clingo::App
	Interface to build applications on top of clingo. More...

Typedefs
using	Clingo::ModelPrinter = std::function< void()>
	A callback to print the current model.

Functions
auto	Clingo::main (Library &lib, std::span< std::string_view const > arguments={}, App *app=nullptr) -> int
	Run a clingo based application with the given arguments.

auto	Clingo::main (Library &lib, std::initializer_list< std::string_view const > arguments, App *app=nullptr) -> int
	Run a clingo based application with the given arguments.

Detailed Description

Support for building applications on top of clingo.

Function Documentation

auto Clingo::main	(	Library &	lib,
		std::initializer_list< std::string_view const >	arguments,
		App *	app = `nullptr`
	)		-> int

inline

Run a clingo based application with the given arguments.

Convenience overload to specify arguments via initializer_lists.

Parameters

lib	the library to store symbols
arguments	the command line arguments
app	an optional application to customize solving

auto Clingo::main	(	Library &	lib,
		std::span< std::string_view const >	arguments = `{}`,
		App *	app = `nullptr`
	)		-> int

inline

Run a clingo based application with the given arguments.

Parameters

lib	the library to store symbols
arguments	the command line arguments
app	an optional application to customize solving