litex/stmt/
stmt_type_name.rs

1use crate::prelude::*;
2
3impl ProveStmt {
4    pub fn stmt_type_name(&self) -> String {
5        "ProveStmt".to_string()
6    }
7}
8
9impl ClaimStmt {
10    pub fn stmt_type_name(&self) -> String {
11        "ClaimStmt".to_string()
12    }
13}
14
15impl KnowStmt {
16    pub fn stmt_type_name(&self) -> String {
17        "KnowStmt".to_string()
18    }
19}
20
21impl EvalStmt {
22    pub fn stmt_type_name(&self) -> String {
23        "EvalStmt".to_string()
24    }
25}
26
27impl EvalByStmt {
28    pub fn stmt_type_name(&self) -> String {
29        "EvalByStmt".to_string()
30    }
31}
32
33impl DefAlgoStmt {
34    pub fn stmt_type_name(&self) -> String {
35        "DefAlgoStmt".to_string()
36    }
37}
38
39impl DefTemplateStmt {
40    pub fn stmt_type_name(&self) -> String {
41        "DefTemplateStmt".to_string()
42    }
43}
44
45impl RunFileStmt {
46    pub fn stmt_type_name(&self) -> String {
47        "RunFileStmt".to_string()
48    }
49}
50
51impl RunFileInStd {
52    pub fn stmt_type_name(&self) -> String {
53        "RunFileInStd".to_string()
54    }
55}
56
57impl ImportRelativePathStmt {
58    pub fn stmt_type_name(&self) -> String {
59        "ImportRelativePathStmt".to_string()
60    }
61}
62
63impl ImportGlobalModuleStmt {
64    pub fn stmt_type_name(&self) -> String {
65        "ImportGlobalModuleStmt".to_string()
66    }
67}
68
69impl ImportStmt {
70    pub fn stmt_type_name(&self) -> String {
71        match self {
72            ImportStmt::ImportRelativePath(stmt) => stmt.stmt_type_name(),
73            ImportStmt::ImportGlobalModule(stmt) => stmt.stmt_type_name(),
74        }
75    }
76}
77
78impl DoNothingStmt {
79    pub fn stmt_type_name(&self) -> String {
80        "DoNothingStmt".to_string()
81    }
82}
83
84impl ClearStmt {
85    pub fn stmt_type_name(&self) -> String {
86        "ClearStmt".to_string()
87    }
88}
89
90impl WitnessExistFact {
91    pub fn stmt_type_name(&self) -> String {
92        "WitnessExistFact".to_string()
93    }
94}
95
96impl WitnessNonemptySet {
97    pub fn stmt_type_name(&self) -> String {
98        "WitnessNonemptySet".to_string()
99    }
100}
101
102impl ByEnumerateFiniteSetStmt {
103    pub fn stmt_type_name(&self) -> String {
104        "ByEnumerateFiniteSetStmt".to_string()
105    }
106}
107
108impl ByCasesStmt {
109    pub fn stmt_type_name(&self) -> String {
110        "ByCasesStmt".to_string()
111    }
112}
113
114impl ByContraStmt {
115    pub fn stmt_type_name(&self) -> String {
116        "ByContraStmt".to_string()
117    }
118}
119
120impl ByInducStmt {
121    pub fn stmt_type_name(&self) -> String {
122        "ByInducStmt".to_string()
123    }
124}
125
126impl ByForStmt {
127    pub fn stmt_type_name(&self) -> String {
128        "ByForStmt".to_string()
129    }
130}
131
132impl ByExtensionStmt {
133    pub fn stmt_type_name(&self) -> String {
134        "ByExtensionStmt".to_string()
135    }
136}
137
138impl ByFnAsSetStmt {
139    pub fn stmt_type_name(&self) -> String {
140        "ByFnAsSetStmt".to_string()
141    }
142}
143
144impl ByFnSetAsSetStmt {
145    pub fn stmt_type_name(&self) -> String {
146        "ByFnSetAsSetStmt".to_string()
147    }
148}
149
150impl ByTupleAsSetStmt {
151    pub fn stmt_type_name(&self) -> String {
152        "ByTupleAsSetStmt".to_string()
153    }
154}
155
156impl ByClosedRangeAsCasesStmt {
157    pub fn stmt_type_name(&self) -> String {
158        "ByClosedRangeAsCasesStmt".to_string()
159    }
160}
161
162impl ByTransitivePropStmt {
163    pub fn stmt_type_name(&self) -> String {
164        "ByTransitivePropStmt".to_string()
165    }
166}
167
168impl BySymmetricPropStmt {
169    pub fn stmt_type_name(&self) -> String {
170        "BySymmetricPropStmt".to_string()
171    }
172}
173
174impl ByReflexivePropStmt {
175    pub fn stmt_type_name(&self) -> String {
176        "ByReflexivePropStmt".to_string()
177    }
178}
179
180impl ByAntisymmetricPropStmt {
181    pub fn stmt_type_name(&self) -> String {
182        "ByAntisymmetricPropStmt".to_string()
183    }
184}
185
186impl DefAbstractPropStmt {
187    pub fn stmt_type_name(&self) -> String {
188        "DefAbstractPropStmt".to_string()
189    }
190}
191
192impl DefPropStmt {
193    pub fn stmt_type_name(&self) -> String {
194        "DefPropStmt".to_string()
195    }
196}
197
198impl DefLetStmt {
199    pub fn stmt_type_name(&self) -> String {
200        "DefLetStmt".to_string()
201    }
202}
203
204impl HaveObjInNonemptySetOrParamTypeStmt {
205    pub fn stmt_type_name(&self) -> String {
206        "HaveObjInNonemptySetOrParamTypeStmt".to_string()
207    }
208}
209
210impl HaveObjEqualStmt {
211    pub fn stmt_type_name(&self) -> String {
212        "HaveObjEqualStmt".to_string()
213    }
214}
215
216impl HaveByExistStmt {
217    pub fn stmt_type_name(&self) -> String {
218        "HaveExistObjStmt".to_string()
219    }
220}
221
222impl HaveFnEqualStmt {
223    pub fn stmt_type_name(&self) -> String {
224        "HaveFnEqualStmt".to_string()
225    }
226}
227
228impl HaveFnEqualCaseByCaseStmt {
229    pub fn stmt_type_name(&self) -> String {
230        "HaveFnEqualCaseByCaseStmt".to_string()
231    }
232}
233
234impl HaveFnByInducStmt {
235    pub fn stmt_type_name(&self) -> String {
236        "HaveFnByInducStmt".to_string()
237    }
238}
239
240impl HaveFnByForallExistUniqueStmt {
241    pub fn stmt_type_name(&self) -> String {
242        "HaveFnByForallExistUniqueStmt".to_string()
243    }
244}
litex/stmt/stmt_type_name.rs

litex/stmt/
stmt_type_name.rs
