idp_engine.utils¶
Various utilities (in particular, OrderedSet)
- class Semantics(value)[source]
Semantics for inductive definitions
- PROCESS_TIMINGS = {'ground': 0, 'parse': 0, 'solve': 0}
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 IDPZ3Error[source]
raised whenever an error occurs in the conversion from AST to Z3
- class OrderedSet(els=[])[source]
a list of expressions without duplicates (first-in is selected)
- __init__(els=[])[source]
- pop(k[, d]) v, remove specified key and return the corresponding value. [source]
If key is not found, d is returned if given, otherwise KeyError is raised
- Parameters
key (str) –
default (Optional[Union[Expression, TupleIDP]]) –
- Return type
Union[Expression, TupleIDP]