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; |