blob: e40b0eeb2633d6d64e48c8929348605d1ec91851 (
plain)
1
2
3
4
5
6
7
8
9
10
|
with PSL.Nodes; use PSL.Nodes;
package PSL.CSE is
-- Build boolean expressions while trying to make the node uniq.
function Build_Bool_And (L, R : Node) return Node;
function Build_Bool_Or (L, R : Node) return Node;
function Build_Bool_Not (N : Node) return Node;
procedure Dump_Hash_Table (Level : Natural := 0);
end PSL.CSE;
|
