← Python API
vraven.decompiler · class

InputDomainSpec

InputDomainSpec(lower: 'float | None', upper: 'float | None', units: 'str', preprocessing: 'str', semantic_domain: 'str', source: 'str', declared: 'bool' = True) -> None

Semantic contract for the model input on which a proof is interpreted.

``None`` bounds denote a deliberately unbounded side of the mathematical
domain. This is different from omitting the specification: ``declared`` and
the textual fields record whether the unbounded choice was intentional.

Usage

from vraven.decompiler import InputDomainSpec

value = InputDomainSpec(...)

Methods

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

Public method.

validate(self) -> 'None'

Public method.

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