Methods to simplify a logic expression.

This module monkey-patches the Expression class and sub-classes.

idp_solver.Simplify.join_set_conditions(assignments: List[idp_solver.Assignments.Assignment]) → List[idp_solver.Assignments.Assignment][source]

In a list of assignments, merge assignments that are set-conditions on the same term.

An equality and a membership predicate (in operator) are both set-conditions.

Parameters:assignments (List[Assignment]) – the list of assignments to make more compact
Returns:the compacted list of assignments
Return type:List[Assignment]