diff options
Diffstat (limited to 'src/psl/psl-disp_nfas.ads')
-rw-r--r-- | src/psl/psl-disp_nfas.ads | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/psl/psl-disp_nfas.ads b/src/psl/psl-disp_nfas.ads new file mode 100644 index 000000000..901eed72f --- /dev/null +++ b/src/psl/psl-disp_nfas.ads @@ -0,0 +1,12 @@ +with PSL.NFAs; use PSL.NFAs; +with PSL.Nodes; use PSL.Nodes; + +package PSL.Disp_NFAs is + procedure Disp_Head (Name : String); + procedure Disp_Tail; + procedure Disp_Body (N : NFA); + + procedure Disp_State (S : NFA_State); + + procedure Disp_NFA (N : NFA; Name : String := "nfa"); +end PSL.Disp_NFAs; |