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

Function is_quantifier

lean_py/z3/core.py:2494–2495  ·  view source on GitHub ↗
(a: ExprRef)

Source from the content-addressed store, hash-verified

2492
2493
2494def is_quantifier(a: ExprRef) -> bool:
2495 return isinstance(a._ast, (ForAllNode, ExistsNode))
2496
2497
2498def is_eq(a: ExprRef) -> bool:

Callers 4

test_forall_basicMethod · 0.90
test_exists_basicMethod · 0.90
test_is_quantifierMethod · 0.90
test_is_quantifierMethod · 0.90

Calls

no outgoing calls

Tested by 4

test_forall_basicMethod · 0.72
test_exists_basicMethod · 0.72
test_is_quantifierMethod · 0.72
test_is_quantifierMethod · 0.72