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

Function is_or

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

Source from the content-addressed store, hash-verified

2508
2509
2510def is_or(a: ExprRef) -> bool:
2511 return isinstance(a._ast, BinOpNode) and a._ast.op == BinOp.OR
2512
2513
2514def is_not(a: ExprRef) -> bool:

Callers 4

test_and_or_notMethod · 0.90
test_is_logical_opsMethod · 0.90
test_or_listMethod · 0.90
test_is_and_or_notMethod · 0.90

Calls

no outgoing calls

Tested by 4

test_and_or_notMethod · 0.72
test_is_logical_opsMethod · 0.72
test_or_listMethod · 0.72
test_is_and_or_notMethod · 0.72