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

Function Plus

lean_py/z3/core.py:2394–2396  ·  view source on GitHub ↗

One or more repetitions.

(re: ReRef)

Source from the content-addressed store, hash-verified

2392
2393
2394def Plus(re: ReRef) -> ReRef:
2395 """One or more repetitions."""
2396 return ReRef(RePlusNode(re._ast), re._vars)
2397
2398
2399def Option(re: ReRef) -> ReRef:

Callers 3

test_plusMethod · 0.90
test_complex_regexMethod · 0.90
test_plusMethod · 0.90

Calls 2

RePlusNodeClass · 0.90
ReRefClass · 0.85

Tested by 3

test_plusMethod · 0.72
test_complex_regexMethod · 0.72
test_plusMethod · 0.72