src/psl/psl-rewrites.ads


1
2
3
4
5
6
7

with PSL.Nodes; use PSL.Nodes;

package PSL.Rewrites is
   function Rewrite_SERE (N : Node) return Node;
   function Rewrite_Property (N : Node) return Node;
   procedure Rewrite_Unit (N : Node);
end PSL.Rewrites;