-- PSL - Utils -- Copyright (C) 2002-2016 Tristan Gingold -- -- This program is free software: you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by -- the Free Software Foundation, either version 2 of the License, or -- (at your option) any later version. -- -- This program is distributed in the hope that it will be useful, -- but WITHOUT ANY WARRANTY; without even the implied warranty of -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -- GNU General Public License for more details. -- -- You should have received a copy of the GNU General Public License -- along with this program. If not, see . package PSL.NFAs.Utils is -- Sort outgoing edges by expression. procedure Sort_Src_Edges (S : NFA_State); procedure Sort_Src_Edges (N : NFA); procedure Sort_Dest_Edges (S : NFA_State); procedure Sort_Dest_Edges (N : NFA); -- Move incoming edges of S1 to S, remove S1 and its outgoing edges. procedure Merge_State_Dest (N : NFA; S : NFA_State; S1 : NFA_State); procedure Merge_State_Src (N : NFA; S : NFA_State; S1 : NFA_State); -- Return True if N or a child of N is EOS. -- N must be a boolean expression. function Has_EOS (N : Node) return Boolean; -- Ensure there is an edge from init state to itself, for the implicit -- [*] of cover directive. procedure Set_Init_Loop (N : NFA); -- Raise Program_Error if N is not internally coherent. procedure Check_NFA (N : NFA); end PSL.NFAs.Utils; t/Demos/Device/ClassDriver/MassStorageKeyboard/Lib/DataflashManager.h'>commitdiffstats
path: root/Demos/Device/ClassDriver/MassStorageKeyboard/Lib/DataflashManager.h
blob: b3be19d2056d7b21731d5b28581d9e29b68c270c (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87