diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-10-21 20:09:18 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-10-21 20:09:18 +0200 |
| commit | 9c4519e0c72187f95b6a91e95564ee6a1f45efc7 (patch) | |
| tree | 7f83d02ac45203ddb990a3b33346f791be2a13f8 /src/psl/psl-nfas.ads | |
| parent | 92c75a0cbf315abe01b25b60f064941b3fadd80a (diff) | |
| download | ghdl-9c4519e0c72187f95b6a91e95564ee6a1f45efc7.tar.gz ghdl-9c4519e0c72187f95b6a91e95564ee6a1f45efc7.tar.bz2 ghdl-9c4519e0c72187f95b6a91e95564ee6a1f45efc7.zip | |
psl: add active state.
Diffstat (limited to 'src/psl/psl-nfas.ads')
| -rw-r--r-- | src/psl/psl-nfas.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/psl/psl-nfas.ads b/src/psl/psl-nfas.ads index ffcf6fd1f..ff1d53b66 100644 --- a/src/psl/psl-nfas.ads +++ b/src/psl/psl-nfas.ads @@ -59,6 +59,10 @@ package PSL.NFAs is procedure Set_Final_State (N : NFA; S : NFA_State); function Get_Final_State (N : NFA) return NFA_State; + -- Each NFA also can have an active state. + procedure Set_Active_State (N : NFA; S : NFA_State); + function Get_Active_State (N : NFA) return NFA_State; + -- Iterate on all states. function Get_First_State (N : NFA) return NFA_State; function Get_Next_State (S : NFA_State) return NFA_State; |