blob: bb1eb58bcf59d86bee2d83957df4a48f3d8ed8ab (
plain)
1
2
3
4
5
6
7
8
|
with PSL.Nodes; use PSL.Nodes;
package PSL.Rewrites is
function Rewrite_Boolean (N : Node) return Node;
function Rewrite_SERE (N : Node) return Node;
function Rewrite_Property (N : Node) return Node;
procedure Rewrite_Unit (N : Node);
end PSL.Rewrites;
|
