ConditionalModelCheckerEnvironment

class ConditionalModelCheckerEnvironment

Bases: pybind11_object

Environment for conditional model checking

property algorithm

Algorithm for conditional model checking

property precision

Precision for conditional model checking

property relative_precision

Whether the precision is relative