idp_engine.Annotate

Methods to annotate the Abstract Syntax Tree (AST) of an IDP-Z3 program.

rename_args(self, subs)[source]

replace old variables by new variables (ignoring arguments in the head before the it

Parameters
  • self (Rule) –

  • subs (dict[str, Expression]) –