SeparationLoopResults

(class from pyomo.contrib.pyros.solve_data)

class pyomo.contrib.pyros.solve_data.SeparationLoopResults(solved_globally, solver_call_results, worst_case_ss_ineq_con, all_discrete_scenarios_exhausted=False)

Bases: object

Container for results of all separation problems solved to a single desired optimality target (local or global).

Parameters:

• solved_globally (bool) – True if separation problems were solved to global optimality, False otherwise.

• solver_call_results (ComponentMap) – Mapping from second-stage inequality constraints to corresponding SeparationSolveCallResults objects.

• worst_case_ss_ineq_con (None or Constraint) – Second-stage inequality constraint mapped to SeparationSolveCallResults object in self corresponding to maximally violating separation problem solution.

• all_discrete_scenarios_exhausted (bool, optional) – For problems with discrete uncertainty sets, True if all scenarios were explicitly accounted for in master (which occurs if there have been as many PyROS iterations as there are scenarios in the set) False otherwise.

solved_globally

True if global solver was used, False otherwise.

Type:

bool

solver_call_results

Mapping from second-stage inequality constraints to corresponding SeparationSolveCallResults objects.

Type:

ComponentMap

worst_case_ss_ineq_con

Worst-case second-stage inequality constraint.

Type:

None or ConstraintData

all_discrete_scenarios_exhausted

True if all scenarios of the discrete set were exhausted already explicitly accounted for in the master problems, False otherwise.

Type:

bool

__init__(solved_globally, solver_call_results, worst_case_ss_ineq_con, all_discrete_scenarios_exhausted=False)

Initialize self (see class docstring).

Methods

__init__(solved_globally, ...[, ...])

Initialize self (see class docstring).

Attributes

auxiliary_param_values	Auxiliary parameter values for the maximially violating separation problem solution.
found_violation	True if separation solution for at least one SeparationSolveCallResults object listed in self was reported to violate its corresponding second-stage inequality constraint, False otherwise.
scaled_violations	Scaled second-stage inequality constraint violations for maximally violating separation problem solution, specified according to solver call results object listed in self at index self.worst_case_ss_ineq_con.
subsolver_error	Return True if subsolver error reported for at least one SeparationSolveCallResults stored in self and no violations are found, False otherwise.
time_out	Return True if time out reported for at least one SeparationSolveCallResults stored in self, False otherwise.
violated_second_stage_ineq_cons	Second-stage inequality constraints for which violation found.
violating_param_realization	Uncertain parameter values for for maximally violating separation problem solution, specified according to solver call results object listed in self at index self.worst_case_ss_ineq_con.
violating_separation_variable_values	Second-stage and state variable values for maximally violating separation problem solution, specified according to solver call results object listed in self at index self.worst_case_ss_ineq_con.

Member Documentation

property auxiliary_param_values

Auxiliary parameter values for the maximially violating separation problem solution.

Type:

None or list of float

property found_violation

True if separation solution for at least one SeparationSolveCallResults object listed in self was reported to violate its corresponding second-stage inequality constraint, False otherwise.

Type:

bool

property scaled_violations

Scaled second-stage inequality constraint violations for maximally violating separation problem solution, specified according to solver call results object listed in self at index self.worst_case_ss_ineq_con. If self.worst_case_ss_ineq_con is not specified, then None is returned.

Type:

None or ComponentMap

property subsolver_error

Return True if subsolver error reported for at least one SeparationSolveCallResults stored in self and no violations are found, False otherwise.

Type:

bool

property time_out

Return True if time out reported for at least one SeparationSolveCallResults stored in self, False otherwise.

Type:

bool

property violated_second_stage_ineq_cons

Second-stage inequality constraints for which violation found.

Type:

list of Constraint

property violating_param_realization

Uncertain parameter values for for maximally violating separation problem solution, specified according to solver call results object listed in self at index self.worst_case_ss_ineq_con. If self.worst_case_ss_ineq_con is not specified, then None is returned.

Type:

None or list of float

property violating_separation_variable_values

Second-stage and state variable values for maximally violating separation problem solution, specified according to solver call results object listed in self at index self.worst_case_ss_ineq_con. If self.worst_case_ss_ineq_con is not specified, then None is returned.

Type:

None or ComponentMap