parameters: (self)
return_statement: return Z3_get_numeral_binary_string(self.ctx_ref(), self.as_ast())
docstring: Return a Z3 integer numeral as a Python binary string.
          >>> v = IntVal(10)
          >>> v.as_binary_string()
          '1010'
docstring_summary: Return a Z3 integer numeral as a Python binary string.
          >>> v = IntVal(10)
          >>> v.as_binary_string()
          '1010'
docstring_tokens: Return a Z3 integer numeral as a Python binary string . >>> v = IntVal ( 10 ) >>> v . as_binary_string () 1010
function: def as_binary_string(self):
          """Return a Z3 integer numeral as a Python binary string.
          >>> v = IntVal(10)
          >>> v.as_binary_string()
          '1010'
          """
          return Z3_get_numeral_binary_string(self.ctx_ref(), self.as_ast())
function_tokens: def as_binary_string ( self ) : return Z3_get_numeral_binary_string ( self . ctx_ref ( ) , self . as_ast ( ) )