Function BoolVal

lean_py/z3/core.py:1156–1157 · view source on GitHub ↗

(b: bool)

Source from the content-addressed store, hash-verified

1154
1155
1156	def BoolVal(b: bool) -> BoolRef:
1157	return BoolRef(BoolLit(b))
1158
1159
1160	def BitVecVal(val: int, width: int) -> BitVecNumRef:

get_answerMethod · 0.90

get_ground_sat_answerMethod · 0.90

resolve_exprMethod · 0.90

as_exprMethod · 0.90

test_function_injectivity_patternMethod · 0.90

test_solver_resetMethod · 0.90

test_is_true_falseMethod · 0.90

test_tactic_solve_trivialMethod · 0.90

test_no_free_varsMethod · 0.90

test_prove_trueMethod · 0.90

test_prove_false_claimMethod · 0.90

test_boolvalMethod · 0.90

BoolLitClass · 0.90

BoolRefClass · 0.85

test_function_injectivity_patternMethod · 0.72

test_solver_resetMethod · 0.72

test_is_true_falseMethod · 0.72

test_tactic_solve_trivialMethod · 0.72

test_no_free_varsMethod · 0.72

test_prove_trueMethod · 0.72

test_prove_false_claimMethod · 0.72

test_boolvalMethod · 0.72

test_boolval_reprMethod · 0.72

test_boolval_no_childrenMethod · 0.72

test_simplify_boolvalMethod · 0.72

test_add_ruleMethod · 0.72