psl/psl-build.ads


1
2
3
4
5
6
7

with PSL.Nodes; use PSL.Nodes;

package PSL.Build is
   Optimize_Final : Boolean := True;

   function Build_FA (N : Node) return NFA;
end PSL.Build;