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

Function is_string_value

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

Source from the content-addressed store, hash-verified

2540
2541
2542def is_string_value(a: ExprRef) -> bool:
2543 return isinstance(a._ast, StringLit)
2544
2545
2546def is_arith(a: object) -> bool:

Callers 4

test_string_literalMethod · 0.90
test_is_string_predicatesMethod · 0.90
test_string_valMethod · 0.90
test_str_concat_emptyMethod · 0.90

Calls

no outgoing calls

Tested by 4

test_string_literalMethod · 0.72
test_is_string_predicatesMethod · 0.72
test_string_valMethod · 0.72
test_str_concat_emptyMethod · 0.72