DomainAssessment

Symbolica documentation for getting started, symbolic expressions, numerical evaluation, pattern matching, and APIs in Python and Rust.

DomainAssessment

class DomainAssessment

The native domain and threshold policy, including historical assessments.

Attributes

Name Description
branch_policy
caller_asserted
domain
factors
parameters
relies_on_assertion

branch_policy

DomainAssessment.branch_policy: builtins.str

caller_asserted

DomainAssessment.caller_asserted: builtins.bool

domain

DomainAssessment.domain: builtins.str

factors

DomainAssessment.factors: builtins.list[FactorAssessment]

parameters

DomainAssessment.parameters: builtins.list[Expression]

relies_on_assertion

DomainAssessment.relies_on_assertion: builtins.bool

Methods

Name Description
_repr_html_

_repr_html_

DomainAssessment._repr_html_(slf: DomainAssessment) -> builtins.str