idp_engine.utils

Various utilities (in particular, OrderedSet)

idp_engine.utils.RESERVED_SYMBOLS = ['__relevant', 'arity', 'input_domain', 'output_domain']

Module that monkey-patches json module when it’s imported so JSONEncoder.default() automatically checks for a special “to_json()” method and uses it to encode the object if found.

exception idp_engine.utils.IDPZ3Error[source]

raised whenever an error occurs in the conversion from AST to Z3

class idp_engine.utils.OrderedSet(els=[])[source]

a list of expressions without duplicates (first-in is selected)