piglot.utils.solver_utils.extract_parameters

extract_parameters(input_file: str) → ParameterSet[source]

Extract a ParameterSet from an input file.

Parameters

input_filestr: Input file path.

Returns

ParameterSet: Set of parameters discovered in the input file.

Raises

RuntimeError: When a repeated pattern is found.
RuntimeError: When a pattern is referenced but never defined.