easylocal::tui::options
The options of the interactive tester.
Synopsis
Declared in <easylocal/adapters/tui/tester.hpp>
struct options;
Description
input_path and solution_path are the initial paths of the Input/Output page, and run() loads the Input from input_path; a relative path is relative to path_base, or to the working directory when path_base is empty.
Data Members
| Name | Description |
|---|---|
input_path | The Input file, loaded at the start when it is set. |
max_diagnostic_entries | The most moves the list of neighbors shows, the others only counted; 0 shows none. |
max_render_chars | The longest text of an Input, a solution or a move shown, in bytes; longer ones are truncated, and 0 is no limit. |
path_base | The directory relative paths start from; empty: the working directory. |
path_display | How paths are shown. |
random_distribution_rounds | The random moves drawn per valid move by the random distribution check, which draws none with 0. |
seed | The seed of the session's random generator. |
solution_path | The initial path of the solution file on the Input/Output page. |
title | The title of the window. |