PropertyExactlyParameterizer

class PropertyExactlyParameterizer

Parameterizes so evaluated property exactly equals a target value.

__init__(*args, **kwargs) None[source]

Init functor with parameterization requirements.

Parameters

target_valuefloat or int

The threshold property value to parameterize the policy to meet.

policy_evaluatorint

Functor that evaluates a policy at a particular parameter value.

param_lower_boundint

Lower value on the range of parameter values to search, inclusive.

param_upper_boundint, optional

Upper bound on the range of parameter values to search, inclusive. If None, no upper bound is used.

Methods

__call__(policy_t: Type) PolicySpecBase | None[source]

Solve for policy spec satisfying parameterization requirements.

__init__(*args, **kwargs) None[source]

Init functor with parameterization requirements.

Parameters

target_valuefloat or int

The threshold property value to parameterize the policy to meet.

policy_evaluatorint

Functor that evaluates a policy at a particular parameter value.

param_lower_boundint

Lower value on the range of parameter values to search, inclusive.

param_upper_boundint, optional

Upper bound on the range of parameter values to search, inclusive. If None, no upper bound is used.

__repr__() str[source]

Return repr(self).

__str__() str[source]

Return str(self).