Skip to content

GitLab

Merged
Created by Francois DELOBEL@frdelobeMaintainer

Optimize ctree

  • Detect aliases variables (a = b)
  • Create class with union-find
  • Substitute variables in constraints
  • Delete the useless alias constraints (a = a)