SMTMinimalLabelSetGeneratorStats

Warning

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

class SMTMinimalLabelSetGeneratorStats[ValueType]

Stats for highlevel counterexample generation

Template arguments:

• ValueType (type)

Available specializations:

• SMTMinimalLabelSetGeneratorStats[float]

Construction

The default specialization is SMTMinimalLabelSetGeneratorStats[float].

Members

property SMTMinimalLabelSetGeneratorStats.analysis_time

property SMTMinimalLabelSetGeneratorStats.cut_time

property SMTMinimalLabelSetGeneratorStats.iterations

property SMTMinimalLabelSetGeneratorStats.model_checking_time

property SMTMinimalLabelSetGeneratorStats.setup_time

property SMTMinimalLabelSetGeneratorStats.solver_time