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

litex/stmt/
stmt_type_name.rs
