Given a sygus file, I would like to know how to get an object containing/representing the parse tree so I can manipulate it, perhaps write my own printer (similar to the kind that the repo contains for standard conversion). I would like to know if there are some examples or documentation for using objects of AST class or its subclasses.
As a starting point, a way to take a synth-fun command with its arguments in a text file and obtain the corresponding list-of-lists representation (containing either strings or other ast objects) as a pythonic value would be useful.
Given a sygus file, I would like to know how to get an object containing/representing the parse tree so I can manipulate it, perhaps write my own printer (similar to the kind that the repo contains for standard conversion). I would like to know if there are some examples or documentation for using objects of AST class or its subclasses.
As a starting point, a way to take a synth-fun command with its arguments in a text file and obtain the corresponding list-of-lists representation (containing either strings or other ast objects) as a pythonic value would be useful.