CIRCT
20.0.0git
|
This helps visit SMT types. More...
#include <SMTVisitors.h>
Public Member Functions | |
ResultType | dispatchSMTTypeVisitor (Type type, ExtraArgs... args) |
ResultType | visitInvalidSMTType (Type type, ExtraArgs... args) |
This callback is invoked on any non-expression types. More... | |
ResultType | visitUnhandledSMTType (Type type, ExtraArgs... args) |
This callback is invoked on any SMT type that are not handled by the concrete visitor. More... | |
HANDLE (BoolType, Unhandled) | |
HANDLE (IntegerType, Unhandled) | |
HANDLE (BitVectorType, Unhandled) | |
HANDLE (ArrayType, Unhandled) | |
HANDLE (SMTFuncType, Unhandled) | |
HANDLE (SortType, Unhandled) | |
This helps visit SMT types.
Definition at line 155 of file SMTVisitors.h.
|
inline |
Definition at line 157 of file SMTVisitors.h.
circt::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | ArrayType | , |
Unhandled | |||
) |
circt::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BitVectorType | , |
Unhandled | |||
) |
circt::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BoolType | , |
Unhandled | |||
) |
circt::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | IntegerType | , |
Unhandled | |||
) |
circt::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | SMTFuncType | , |
Unhandled | |||
) |
circt::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | SortType | , |
Unhandled | |||
) |
|
inline |
This callback is invoked on any non-expression types.
Definition at line 170 of file SMTVisitors.h.
|
inline |
This callback is invoked on any SMT type that are not handled by the concrete visitor.
Definition at line 174 of file SMTVisitors.h.