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

Function SetAdd

lean_py/z3/core.py:3628–3630  ·  view source on GitHub ↗

Add element to set.

(s: ArrayRef, e: ExprRef)

Source from the content-addressed store, hash-verified

3626
3627
3628def SetAdd(s: ArrayRef, e: ExprRef) -> ArrayRef:
3629 """Add element to set."""
3630 return Store(s, e, BoolVal(True))
3631
3632
3633def SetDel(s: ArrayRef, e: ExprRef) -> ArrayRef:

Callers 9

test_set_addMethod · 0.90
test_set_addMethod · 0.90
test_is_memberMethod · 0.90
test_is_member_semanticMethod · 0.90
test_set_unionMethod · 0.90
test_set_intersectMethod · 0.90
test_set_differenceMethod · 0.90
test_is_subsetMethod · 0.90
SingletonFunction · 0.85

Calls 2

StoreFunction · 0.85
BoolValFunction · 0.85

Tested by 8

test_set_addMethod · 0.72
test_set_addMethod · 0.72
test_is_memberMethod · 0.72
test_is_member_semanticMethod · 0.72
test_set_unionMethod · 0.72
test_set_intersectMethod · 0.72
test_set_differenceMethod · 0.72
test_is_subsetMethod · 0.72