CIRCT
20.0.0git
|
This helps visit SMT nodes. More...
#include <SMTVisitors.h>
Public Member Functions | |
ResultType | dispatchSMTOpVisitor (Operation *op, ExtraArgs... args) |
ResultType | visitInvalidSMTOp (Operation *op, ExtraArgs... args) |
This callback is invoked on any non-expression operations. More... | |
ResultType | visitUnhandledSMTOp (Operation *op, ExtraArgs... args) |
This callback is invoked on any SMT operations that are not handled by the concrete visitor. More... | |
HANDLE (BoolConstantOp, Unhandled) | |
HANDLE (IntConstantOp, Unhandled) | |
HANDLE (BVConstantOp, Unhandled) | |
HANDLE (BVNegOp, Unhandled) | |
HANDLE (BVAddOp, Unhandled) | |
HANDLE (BVMulOp, Unhandled) | |
HANDLE (BVURemOp, Unhandled) | |
HANDLE (BVSRemOp, Unhandled) | |
HANDLE (BVSModOp, Unhandled) | |
HANDLE (BVShlOp, Unhandled) | |
HANDLE (BVLShrOp, Unhandled) | |
HANDLE (BVAShrOp, Unhandled) | |
HANDLE (BVUDivOp, Unhandled) | |
HANDLE (BVSDivOp, Unhandled) | |
HANDLE (BVNotOp, Unhandled) | |
HANDLE (BVAndOp, Unhandled) | |
HANDLE (BVOrOp, Unhandled) | |
HANDLE (BVXOrOp, Unhandled) | |
HANDLE (ConcatOp, Unhandled) | |
HANDLE (ExtractOp, Unhandled) | |
HANDLE (RepeatOp, Unhandled) | |
HANDLE (BVCmpOp, Unhandled) | |
HANDLE (IntAddOp, Unhandled) | |
HANDLE (IntMulOp, Unhandled) | |
HANDLE (IntSubOp, Unhandled) | |
HANDLE (IntDivOp, Unhandled) | |
HANDLE (IntModOp, Unhandled) | |
HANDLE (IntCmpOp, Unhandled) | |
HANDLE (EqOp, Unhandled) | |
HANDLE (DistinctOp, Unhandled) | |
HANDLE (IteOp, Unhandled) | |
HANDLE (DeclareFunOp, Unhandled) | |
HANDLE (ApplyFuncOp, Unhandled) | |
HANDLE (SolverOp, Unhandled) | |
HANDLE (AssertOp, Unhandled) | |
HANDLE (ResetOp, Unhandled) | |
HANDLE (PushOp, Unhandled) | |
HANDLE (PopOp, Unhandled) | |
HANDLE (CheckOp, Unhandled) | |
HANDLE (NotOp, Unhandled) | |
HANDLE (AndOp, Unhandled) | |
HANDLE (OrOp, Unhandled) | |
HANDLE (XOrOp, Unhandled) | |
HANDLE (ImpliesOp, Unhandled) | |
HANDLE (ArrayStoreOp, Unhandled) | |
HANDLE (ArraySelectOp, Unhandled) | |
HANDLE (ArrayBroadcastOp, Unhandled) | |
HANDLE (ForallOp, Unhandled) | |
HANDLE (ExistsOp, Unhandled) | |
HANDLE (YieldOp, Unhandled) | |
This helps visit SMT nodes.
Definition at line 25 of file SMTVisitors.h.
|
inline |
Definition at line 27 of file SMTVisitors.h.
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | AndOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | ApplyFuncOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | ArrayBroadcastOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | ArraySelectOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | ArrayStoreOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | AssertOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BoolConstantOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVAddOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVAndOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVAShrOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVCmpOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVConstantOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVLShrOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVMulOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVNegOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVNotOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVOrOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVSDivOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVShlOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVSModOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVSRemOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVUDivOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVURemOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | BVXOrOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | CheckOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | ConcatOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | DeclareFunOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | DistinctOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | EqOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | ExistsOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | ExtractOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | ForallOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | ImpliesOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | IntAddOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | IntCmpOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | IntConstantOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | IntDivOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | IntModOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | IntMulOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | IntSubOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | IteOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | NotOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | OrOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | PopOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | PushOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | RepeatOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | ResetOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | SolverOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | XOrOp | , |
Unhandled | |||
) |
circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE | ( | YieldOp | , |
Unhandled | |||
) |
|
inline |
This callback is invoked on any non-expression operations.
Definition at line 62 of file SMTVisitors.h.
|
inline |
This callback is invoked on any SMT operations that are not handled by the concrete visitor.
Definition at line 69 of file SMTVisitors.h.