piglot.utils.solver_utils.has_parameter

has_parameter(input_file: str, parameter: str) bool[source]

Checks whether an input file contains a given parameter.

Parameters

input_filestr

Path for the input file.

parameterstr

parameter to locate.

Returns

bool

Whether the input file contains the parameter or not.