ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cli_llm_client.h
Go to the documentation of this file.
1#pragma once
2
3#include <llm/llm_client.h>
4
5namespace llm
6{
14class cli_clientt : public clientt
15{
16public:
17 explicit cli_clientt(configt config);
18
19 std::string complete(const std::vector<message_t> &messages) override;
20};
21} // namespace llm
std::string complete(const std::vector< message_t > &messages) override
Definition cli_llm_client.cpp:38
cli_clientt(configt config)
Definition cli_llm_client.cpp:29
clientt(configt config)
Definition llm_client.h:56
const configt & config() const noexcept
Definition llm_client.h:50
Definition cli_llm_client.cpp:25
Definition llm_client.h:22