Condition

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

`Condition`

class Condition

A deferred relation or logical combination consumed by Transformers, matching, and solve.

Name	Description
`__and__`	Create a condition that is the logical and operation between two conditions (i.e., both should hold).
`__bool__`	Return known truth; raise TypeError when truth is undecidable.
`__invert__`	Create a condition that takes the logical ‘not’ of the current condition.
`__or__`	Create a condition that is the logical ‘or’ operation between two conditions (i.e., at least one of the two should hold).
`__repr__`
`__str__`
`_repr_html_`
`eval`	Evaluate, returning None for undecidable truth
`to_req`	Convert the condition to a pattern restriction.

Condition.__and__(other: Condition) -> Condition

Create a condition that is the logical and operation between two conditions (i.e., both should hold).

Condition.__bool__() -> bool

Return known truth; raise TypeError when truth is undecidable.

Condition.__invert__() -> Condition

Create a condition that takes the logical ‘not’ of the current condition.

Condition.__or__(other: Condition) -> Condition

Create a condition that is the logical ‘or’ operation between two conditions (i.e., at least one of the two should hold).

Condition.__repr__() -> str

Condition.__str__() -> str

Condition._repr_html_() -> str

Condition.eval() -> bool | None

Evaluate, returning None for undecidable truth. Unbound Transformers need an execution input.

Condition.to_req() -> PatternRestriction

Convert the condition to a pattern restriction.