SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Node.h
Go to the documentation of this file.
1 #pragma once
2 
3 namespace benchmax {
4 namespace ssh {
5 
6 /// Specification of a compuation node for the SSH backend.
7 struct Node {
8  /// Hostname to connect to.
9  std::string hostname;
10  /// Username.
11  std::string username;
12  /// Password (only used if public key authentication fails).
13  std::string password;
14  /// Port (default is 22)
15  int port;
16  /// Number of cores we use per connection (default is 1)
17  unsigned long cores;
18  /// Number of concurrent connections (default is 1)
19  std::size_t connections;
20 };
21 
22 } // namespace ssh
23 } // namespace benchmax
Specification of a compuation node for the SSH backend.
Definition: Node.h:7
std::string username
Username.
Definition: Node.h:11
int port
Port (default is 22)
Definition: Node.h:15
unsigned long cores
Number of cores we use per connection (default is 1)
Definition: Node.h:17
std::string hostname
Hostname to connect to.
Definition: Node.h:9
std::size_t connections
Number of concurrent connections (default is 1)
Definition: Node.h:19
std::string password
Password (only used if public key authentication fails).
Definition: Node.h:13