parameters: ()
docstring: Display a (tabular) description of all available probes in Z3.
docstring_summary: Display a (tabular) description of all available probes in Z3.
docstring_tokens: Display a ( tabular ) description of all available probes in Z3 .
function: def describe_probes():
      """Display a (tabular) description of all available probes in Z3."""
      if in_html_mode():
          even = True
          print('<table border="1" cellpadding="2" cellspacing="0">')
          for p in probes():
              if even:
                  print('<tr style="background-color:#CFCFCF">')
                  even = False
              else:
                  print("<tr>")
                  even = True
              print("<td>%s</td><td>%s</td></tr>" % (p, insert_line_breaks(probe_description(p), 40)))
          print("</table>")
      else:
          for p in probes():
              print("%s : %s" % (p, probe_description(p)))
function_tokens: def describe_probes ( ) : if in_html_mode ( ) : even = True print ( '<table border="1" cellpadding="2" cellspacing="0">' ) for p in probes ( ) : if even : print ( '<tr style="background-color:#CFCFCF">' ) even = False else : print ( "<tr>" ) even = True print ( "<td>%s</td><td>%s</td></tr>" % ( p , insert_line_breaks ( probe_description ( p ) , 40 ) ) ) print ( "</table>" ) else : for p in probes ( ) : print ( "%s : %s" % ( p , probe_description ( p ) ) )