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

litex/stmt/
stmt_type_name.rs
