Do not unfold the AST on deep-copying#66

Open

merkste wants to merge 8 commits intoprismmodelchecker:masterfrom

merkste:DAG-aware-copying

Commits on Mar 9, 2018

[Java 9] Fix clash with Module from Java 9
Steffen Märcker
committed
Refactor ExpressionQuant hierarchy
Steffen Märcker
committed
Improve comments in ASTTraverse and ASTTraverseModify
Steffen Märcker
committed
[DAG-visit] Implement DAG-aware visitor
Steffen Märcker
committed

Commits on Mar 12, 2018

[DAG-visit] Adapt existing visitors to be DAG-aware
Steffen Märcker
committed

Commits on Apr 24, 2018

[DAG-copy] Make ASTElements cloneable
Steffen Märcker
committed
[DAG-copy] Implement deep-copying the AST without unfolding the DAG
Steffen Märcker
committed

Commits on May 8, 2019

[DAG-copy] Fix for uncareful type change in simplify visitor
Steffen Märcker
committed