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

Function is_true

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

Source from the content-addressed store, hash-verified

2456
2457
2458def is_true(a: ExprRef) -> bool:
2459 return isinstance(a._ast, BoolLit) and a._ast.val is True
2460
2461
2462def is_false(a: ExprRef) -> bool:

Callers 5

test_is_true_falseMethod · 0.90
test_and_emptyMethod · 0.90
test_atmost_emptyMethod · 0.90
test_atleast_empty_zeroMethod · 0.90
test_is_true_falseMethod · 0.90

Calls

no outgoing calls

Tested by 5

test_is_true_falseMethod · 0.72
test_and_emptyMethod · 0.72
test_atmost_emptyMethod · 0.72
test_atleast_empty_zeroMethod · 0.72
test_is_true_falseMethod · 0.72