piglot.utils.solver_utils.VerbosityManager

class VerbosityManager(verbosity: str | None, output_dir: str)

Bases: object

Class to manage output streams based on verbosity levels.

Methods

flush	Flush the solver outputs, if needed.
prepare	Set up the verbosity level for the solver.

Attributes

AVAILABLE_VERBOSITIES
DEFAULT_VERBOSITY

flush() → None

Flush the solver outputs, if needed.

prepare() → None

Set up the verbosity level for the solver.