← Python API
vraven.decompiler · class

CounterfactualProof

CounterfactualProof(target: 'int', baseline_prediction: 'int', baseline_margin: 'float', baseline_programme_margin: 'float', selected: 'CounterfactualCandidate | None', candidates_tested_by_programme: 'int', candidates_verified_in_model: 'int', search_exhausted: 'bool', claim: 'str', limitations: 'tuple[str, ...]', programme_flip_candidates: 'int' = 0, verification_attempts: 'int' = 0, verification_failures: 'int' = 0, verification_budget_exhausted: 'bool' = False, metadata: 'dict[str, Any]' = <factory>) -> None

CounterfactualProof(target: 'int', baseline_prediction: 'int', baseline_margin: 'float', baseline_programme_margin: 'float', selected: 'CounterfactualCandidate | None', candidates_tested_by_programme: 'int', candidates_verified_in_model: 'int', search_exhausted: 'bool', claim: 'str', limitations: 'tuple[str, ...]', programme_flip_candidates: 'int' = 0, verification_attempts: 'int' = 0, verification_failures: 'int' = 0, verification_budget_exhausted: 'bool' = False, metadata: 'dict[str, Any]' = <factory>)

Usage

from vraven.decompiler import CounterfactualProof

value = CounterfactualProof(...)

Methods

to_dict(self) -> 'dict[str, Any]'

Public method.

Source of truthThis page is generated from the checked-out public symbol, signature, and docstring. Pin the package version for reproducible work.