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

Function Complement

lean_py/z3/core.py:2424–2426  ·  view source on GitHub ↗

Complement of regex.

(re: ReRef)

Source from the content-addressed store, hash-verified

2422
2423
2424def Complement(re: ReRef) -> ReRef:
2425 """Complement of regex."""
2426 return ReRef(ReComplementNode(re._ast), re._vars)
2427
2428
2429def Range(lo: str, hi: str) -> ReRef:

Callers 3

test_complementMethod · 0.90
test_complementMethod · 0.90
DiffFunction · 0.85

Calls 2

ReComplementNodeClass · 0.90
ReRefClass · 0.85

Tested by 2

test_complementMethod · 0.72
test_complementMethod · 0.72