PcaaWeightVectorChecker

Warning

The stormpy developer API is internal and can be subject to change.

class PcaaWeightVectorChecker[ValueType]

Checker for weighted sums of objectives

Template arguments:

• ValueType (type)

Available specializations:

• PcaaWeightVectorChecker[float]

• PcaaWeightVectorChecker[stormpy.numbers.Rational]

Members

PcaaWeightVectorChecker.check()

For PcaaWeightVectorChecker[float]:

check(self: stormpy.developer.PcaaWeightVectorChecker[ValueType], env: stormpy.environments.Environment, weight_vector: collections.abc.Sequence[typing.SupportsFloat | typing.SupportsIndex]) -> None

Optimize the weighted sum of objectives

For PcaaWeightVectorChecker[stormpy.numbers.Rational]:

check(self: stormpy.developer.PcaaWeightVectorChecker[ValueType], env: stormpy.environments.Environment, weight_vector: collections.abc.Sequence[ValueType]) -> None

Optimize the weighted sum of objectives

PcaaWeightVectorChecker.compute_scheduler(

self: stormpy.developer.PcaaWeightVectorChecker[ValueType],

) → stormpy.models.Scheduler[ValueType]

Compute the optimal scheduler. Note that this is a scheduler on the preprocessed MDP.

PcaaWeightVectorChecker.get_achievable_point(

self: stormpy.developer.PcaaWeightVectorChecker[ValueType],

) → list[ValueType]

Get the point achieved by the optimal scheduler

PcaaWeightVectorChecker.get_optimal_weighted_sum(

self: stormpy.developer.PcaaWeightVectorChecker[ValueType],

) → ValueType

Get the optimal weighted sum. Note that this sum can be hard to interpret whenever one includes also minimization objectives.

PcaaWeightVectorChecker.get_weighted_precision(

self: stormpy.developer.PcaaWeightVectorChecker[ValueType],

) → ValueType

Get precision

PcaaWeightVectorChecker.set_weighted_precision()

For PcaaWeightVectorChecker[float]:

set_weighted_precision(self: stormpy.developer.PcaaWeightVectorChecker[ValueType], value: typing.SupportsFloat | typing.SupportsIndex) -> None

Set precision. A smaller value means a higher precision.

For PcaaWeightVectorChecker[stormpy.numbers.Rational]:

set_weighted_precision(self: stormpy.developer.PcaaWeightVectorChecker[ValueType], value: ValueType) -> None

Set precision. A smaller value means a higher precision.