circt::bmc::BMCTrace Member List

This is the complete list of members for circt::bmc::BMCTrace, including all inherited members.

addSignal(llvm::StringRef name, unsigned width)	circt::bmc::BMCTrace
BMCTrace(llvm::StringRef topName="bmc")	circt::bmc::BMCTrace	explicit
ensureStep(size_t step)	circt::bmc::BMCTrace	private
Evaluator typedef	circt::bmc::BMCTrace
getNumSteps() const	circt::bmc::BMCTrace	inline
getSignals() const	circt::bmc::BMCTrace	inline
getTopName() const	circt::bmc::BMCTrace	inline
Handle typedef	circt::bmc::BMCTrace
lookup(size_t step, size_t signal) const	circt::bmc::BMCTrace
printTextTrace(llvm::raw_ostream &os, Evaluator evaluate) const	circt::bmc::BMCTrace
record(size_t step, size_t signal, Handle handle)	circt::bmc::BMCTrace
recorded	circt::bmc::BMCTrace	private
signals	circt::bmc::BMCTrace	private
Step typedef	circt::bmc::BMCTrace	private
topName	circt::bmc::BMCTrace	private