parameters: (a)
return_statement: return isinstance(a, SeqRef) and a.is_string_value()
docstring: return 'True' if 'a' is a Z3 string constant expression.
      >>> print (is_string_value(StringVal("a")))
      True
      >>> print (is_string_value(StringVal("a") + StringVal("b")))
      False
docstring_summary: return 'True' if 'a' is a Z3 string constant expression.
      >>> print (is_string_value(StringVal("a")))
      True
      >>> print (is_string_value(StringVal("a") + StringVal("b")))
      False
docstring_tokens: return True if a is a Z3 string constant expression . >>> print ( is_string_value ( StringVal ( a ))) True >>> print ( is_string_value ( StringVal ( a ) + StringVal ( b ))) False
function: def is_string_value(a):
      """return 'True' if 'a' is a Z3 string constant expression.
      >>> print (is_string_value(StringVal("a")))
      True
      >>> print (is_string_value(StringVal("a") + StringVal("b")))
      False
      """
      return isinstance(a, SeqRef) and a.is_string_value()
function_tokens: def is_string_value ( a ) : return isinstance ( a , SeqRef ) and a . is_string_value ( )