Function Loop

lean_py/z3/core.py:2434–2436 · view source on GitHub ↗

Bounded repetition.

(re: ReRef, lo: int, hi: int)

Source from the content-addressed store, hash-verified

2432
2433
2434	def Loop(re: ReRef, lo: int, hi: int) -> ReRef:
2435	"""Bounded repetition."""
2436	return ReRef(ReLoopNode(re._ast, lo, hi), re._vars)
2437
2438
2439	def InRe(s: StringRef, re: ReRef) -> BoolRef:

test_loopMethod · 0.90

ReLoopNodeClass · 0.90

ReRefClass · 0.85

test_loopMethod · 0.72