libTriton  version 0.9 build 1499
AST_REPRESENTATION

[python api] All information about the AST_REPRESENTATION Python namespace.

Description


The AST_REPRESENTATION namespace contains all kinds of AST representations.

Example

>>> setAstRepresentationMode(AST_REPRESENTATION.PYTHON)

Python API - Items of the AST_REPRESENTATION namespace


  • AST_REPRESENTATION.SMT
    Enabled, AST expressions will be represented in the SMT2-Lib syntax. This is the default mode.
  • AST_REPRESENTATION.PYTHON
    Enabled, AST expressions will be represented in the Python syntax.