SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::ssh::Node Struct Reference

Specification of a compuation node for the SSH backend. More...

#include <Node.h>

Collaboration diagram for benchmax::ssh::Node:

Data Fields

std::string hostname
 Hostname to connect to. More...
 
std::string username
 Username. More...
 
std::string password
 Password (only used if public key authentication fails). More...
 
int port
 Port (default is 22) More...
 
unsigned long cores
 Number of cores we use per connection (default is 1) More...
 
std::size_t connections
 Number of concurrent connections (default is 1) More...
 

Detailed Description

Specification of a compuation node for the SSH backend.

Definition at line 7 of file Node.h.

Field Documentation

◆ connections

std::size_t benchmax::ssh::Node::connections

Number of concurrent connections (default is 1)

Definition at line 19 of file Node.h.

◆ cores

unsigned long benchmax::ssh::Node::cores

Number of cores we use per connection (default is 1)

Definition at line 17 of file Node.h.

◆ hostname

std::string benchmax::ssh::Node::hostname

Hostname to connect to.

Definition at line 9 of file Node.h.

◆ password

std::string benchmax::ssh::Node::password

Password (only used if public key authentication fails).

Definition at line 13 of file Node.h.

◆ port

int benchmax::ssh::Node::port

Port (default is 22)

Definition at line 15 of file Node.h.

◆ username

std::string benchmax::ssh::Node::username

Username.

Definition at line 11 of file Node.h.


The documentation for this struct was generated from the following file: