diff options
| author | Tristan Gingold <tgingold@free.fr> | 2023-03-15 07:44:06 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2023-03-15 07:44:06 +0100 |
| commit | 474fe803aaf12ccc03099f616de142038a88adce (patch) | |
| tree | 43677df8a629d7487ff4aa8604d8a069a45fad15 /src/psl/psl-optimize.ads | |
| parent | ea460cb31034202c6d6d3fd720126fd0bedd8820 (diff) | |
| download | ghdl-474fe803aaf12ccc03099f616de142038a88adce.tar.gz ghdl-474fe803aaf12ccc03099f616de142038a88adce.tar.bz2 ghdl-474fe803aaf12ccc03099f616de142038a88adce.zip | |
psl: remove start loops only in case of always.
For #2392
Diffstat (limited to 'src/psl/psl-optimize.ads')
| -rw-r--r-- | src/psl/psl-optimize.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/psl/psl-optimize.ads b/src/psl/psl-optimize.ads index 819e3690b..e841ce04a 100644 --- a/src/psl/psl-optimize.ads +++ b/src/psl/psl-optimize.ads @@ -24,6 +24,10 @@ package PSL.Optimize is -- O(N) algorithm. procedure Remove_Unreachable_States (N : NFA); + -- Return true iff there is an edge from start to start (a loop) with + -- the true expression. + function Has_Loop_On_Start (N : NFA) return Boolean; + -- Remove single prefix, ie edges to a state S that is also from start -- to S. -- O(M) algorithm. |