Module sets_api 

Set-algebra and boolean-logic helpers (reduce_inequalities). Set-algebra, boolean-logic, and piecewise methods on SetEx / BoolEx / Ex.

• SetEx — normal-form evaluation (simplify), eager set operations (difference, symmetric_difference, absolute_complement), three-valued queries (contains, is_subset, is_disjoint, is_empty, …), bounds and measure, topology, normal-form accessors, and conversion to a membership condition.
• BoolEx — simplify, assumption-aware eval, normal forms, tautology / satisfiability, truth tables, and solve_for.
• Ex — is_in and piecewise_simplify.
• reduce_inequalities — free-function form of SetEx::reduce_inequalities.

All backend work is done by crate::transforms::sets and crate::transforms::logic.

Functions

reduce_inequalities

Reduce a system of univariate conditions in var to its solution set.