MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / SetDifference

Function SetDifference

lean_py/z3/core.py:3681–3683  ·  view source on GitHub ↗

Set difference: a \\ b.

(a: ArrayRef, b: ArrayRef, ctx: Context | None = None)

Source from the content-addressed store, hash-verified

3679
3680
3681def SetDifference(a: ArrayRef, b: ArrayRef, ctx: Context | None = None) -> ArrayRef:
3682 """Set difference: a \\ b."""
3683 return SetIntersect(a, SetComplement(b))
3684
3685
3686def IsSubset(a: ArrayRef, b: ArrayRef) -> BoolRef:

Callers 2

test_set_differenceMethod · 0.90
test_set_differenceMethod · 0.90

Calls 2

SetIntersectFunction · 0.85
SetComplementFunction · 0.85

Tested by 2

test_set_differenceMethod · 0.72
test_set_differenceMethod · 0.72