SolutionCondition

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

`SolutionCondition`

SolutionCondition()

A formula or domain restriction under which a solution branch is valid.

Name	Description
`domain`	The required domain for a domain-membership condition, otherwise None.
`formula`	The symbolic condition, or None for a domain-membership restriction.
`kind`	The restriction type: `"formula"` or `"domain_membership"`.
`value`	The expression restricted by a domain-membership condition, otherwise None.
`variable`	The variable restricted by a domain-membership condition, otherwise None.

SolutionCondition.domain: SolveDomain | None

The required domain for a domain-membership condition, otherwise None.

SolutionCondition.formula: Condition | None

The symbolic condition, or None for a domain-membership restriction.

SolutionCondition.kind: Literal['formula', 'domain_membership']

The restriction type: "formula" or "domain_membership".

SolutionCondition.value: Expression | None

The expression restricted by a domain-membership condition, otherwise None.

SolutionCondition.variable: Expression | None

The variable restricted by a domain-membership condition, otherwise None.

Name	Description
`__repr__`
`_repr_html_`

SolutionCondition.__repr__() -> str

SolutionCondition._repr_html_() -> str