Set membership test.
(e: ExprRef, s: ArrayRef)
| 3620 | |
| 3621 | |
| 3622 | def IsMember(e: ExprRef, s: ArrayRef) -> BoolRef: |
| 3623 | """Set membership test.""" |
| 3624 | result = Select(s, e) |
| 3625 | return BoolRef(result._ast, result._vars) |
| 3626 | |
| 3627 | |
| 3628 | def SetAdd(s: ArrayRef, e: ExprRef) -> ArrayRef: |