ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
llm_client.h File Reference
#include <memory>
#include <string>
#include <vector>
Include dependency graph for llm_client.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  llm::message_t
struct  llm::configt
class  llm::clientt
 Abstract LLM client. More...

Namespaces

namespace  llm

Enumerations

enum class  llm::backendt { llm::stub , llm::cli }

Functions

std::unique_ptr< clientt > llm::make_client (configt config)