SMTMinimalLabelSetGeneratorCexInput

Warning

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

class SMTMinimalLabelSetGeneratorCexInput[ValueType]

Precomputed input for counterexample generation

Template arguments:

• ValueType (type)

Available specializations:

• SMTMinimalLabelSetGeneratorCexInput[float]

Members

SMTMinimalLabelSetGeneratorCexInput.add_reward_threshold_combination(

self: stormpy.developer.SMTMinimalLabelSetGeneratorCexInput[ValueType],

reward: str,

thresh: SupportsFloat | SupportsIndex,

) → None

Add another reward structure and threshold