LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Classes | Namespaces | Macros
SMTVisitors.h File Reference
#include "llvm/ADT/TypeSwitch.h"
#include "llzk/Dialect/SMT/IR/SMTOps.h"
Include dependency graph for SMTVisitors.h:

Go to the source code of this file.

Classes

class  llzk::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >
 This helps visit SMT nodes. More...
class  llzk::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs >
 This helps visit SMT types. More...

Namespaces

namespace  llzk
namespace  llzk::smt

Macros

#define HANDLE(OPTYPE, OPKIND)
#define HANDLE(TYPE, KIND)

Macro Definition Documentation

◆ HANDLE [1/2]

#define HANDLE ( OPTYPE,
OPKIND )
Value:
ResultType visitSMTOp(OPTYPE op, ExtraArgs... args) { \
return static_cast<ConcreteType *>(this)->visit##OPKIND##SMTOp(op, args...); \
}

Definition at line 68 of file SMTVisitors.h.

◆ HANDLE [2/2]

#define HANDLE ( TYPE,
KIND )
Value:
ResultType visitSMTType(TYPE op, ExtraArgs... args) { \
return static_cast<ConcreteType *>(this)->visit##KIND##SMTType(op, args...); \
}
KIND
within a display generated by the Derivative if and wherever such third party notices normally appear The contents of the NOTICE file are for informational purposes only and do not modify the License You may add Your own attribution notices within Derivative Works that You alongside or as an addendum to the NOTICE text from the provided that such additional attribution notices cannot be construed as modifying the License You may add Your own copyright statement to Your modifications and may provide additional or different license terms and conditions for or distribution of Your or for any such Derivative Works as a provided Your and distribution of the Work otherwise complies with the conditions stated in this License Submission of Contributions Unless You explicitly state any Contribution intentionally submitted for inclusion in the Work by You to the Licensor shall be under the terms and conditions of this without any additional terms or conditions Notwithstanding the nothing herein shall supersede or modify the terms of any separate license agreement you may have executed with Licensor regarding such Contributions Trademarks This License does not grant permission to use the trade service or product names of the except as required for reasonable and customary use in describing the origin of the Work and reproducing the content of the NOTICE file Disclaimer of Warranty Unless required by applicable law or agreed to in Licensor provides the WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND
Definition LICENSE.txt:146

Definition at line 68 of file SMTVisitors.h.