ValuationDescriptionBuilder

class ValuationDescriptionBuilder(self: stormpy.models.ValuationDescriptionBuilder, manager)

Bases: pybind11_object

Incrementally builds a ValuationClassDescription

add_boolean_variable(

self: stormpy.models.ValuationDescriptionBuilder,

variable,

optional: bool = False,

) → None

Add a boolean variable

add_double_variable(

self: stormpy.models.ValuationDescriptionBuilder,

variable,

optional: bool = False,

) → None

Add a double variable

add_integer_variable(

variable,

lower_bound: SupportsInt | SupportsIndex,

upper_bound: SupportsInt | SupportsIndex,

optional: bool = False,

) → None

add_integer_variable(

variable,

lower_bound: stormpy.numbers.Integer,

upper_bound: stormpy.numbers.Integer,

optional: bool = False,

) → None

Add an integer variable with explicit bounds (required to determine storage bit width)

Add an integer variable with explicit arbitrary-precision bounds, for values that may not fit in an int64

add_rational_variable(

self: stormpy.models.ValuationDescriptionBuilder,

variable,

bit_size: SupportsInt | SupportsIndex,

optional: bool = False,

) → None

Add a rational variable

add_string_variable(

self: stormpy.models.ValuationDescriptionBuilder,

variable,

optional: bool = False,

) → None

Add a string variable

build_class_description(

self: stormpy.models.ValuationDescriptionBuilder,

) → stormpy.models.ValuationClassDescription

Finalise and return the class description