|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Abstract LLM client. More...
#include <llm_client.h>
Public Member Functions | |
| virtual | ~clientt ()=default |
| virtual std::string | complete (const std::vector< message_t > &messages)=0 |
| const configt & | config () const noexcept |
Protected Member Functions | |
| clientt (configt config) | |
Protected Attributes | |
| configt | cfg |
Abstract LLM client.
Implementations provide a single chat-completion interface that consumes a message history and returns the assistant's response as plain text.
|
virtualdefault |
|
inlineexplicitprotected |
|
pure virtual |
Implemented in llm::cli_clientt.
|
inlinenoexcept |
|
protected |