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

Function Intersect

lean_py/z3/core.py:2414–2421  ·  view source on GitHub ↗

Intersection of regexes.

(*args: ReRef)

Source from the content-addressed store, hash-verified

2412
2413
2414def Intersect(*args: ReRef) -> ReRef:
2415 """Intersection of regexes."""
2416 if len(args) < 2:
2417 raise TypeError("Intersect requires at least 2 arguments")
2418 result = args[0]
2419 for a in args[1:]:
2420 result = ReRef(ReIntersectNode(result._ast, a._ast), _merge(result._vars, a._vars))
2421 return result
2422
2423
2424def Complement(re: ReRef) -> ReRef:

Callers 3

test_intersectMethod · 0.90
test_intersectMethod · 0.90
DiffFunction · 0.85

Calls 3

ReIntersectNodeClass · 0.90
ReRefClass · 0.85
_mergeFunction · 0.85

Tested by 2

test_intersectMethod · 0.72
test_intersectMethod · 0.72