EasyLocalAPI reference iolab-uniud/easylocal

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

NameDescription
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.