idp_engine.Simplify

Methods to simplify a logic expression.

update_exprs_expression(self, new_exprs)

change sub_exprs and simplify, while keeping relevant info.

Parameters

• self (idp_engine.Expression.Expression) –

• new_exprs (Generator[idp_engine.Expression.Expression, None, None]) –

Return type

idp_engine.Expression.Expression

join_set_conditions(assignments)

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]