idp_engine.idp_to_Z3

Translates AST tree to Z3

TODO: vocabulary

get_symbols_z(zexpr, symbols)[source]

adds the symbols in zexpr to symbols

Parameters
  • zexpr (ExprRef) – a Z3 expression

  • symbols (set(str)) – set of symbol name