circt::smt Namespace Reference

Namespaces
namespace	detail

Classes
class	SMTOpVisitor
	This helps visit SMT nodes. More...
class	SMTTypeVisitor
	This helps visit SMT types. More...

Functions
bool	isAnySMTValueType (mlir::Type type)
	Returns whether the given type is an SMT value type.
bool	isAnyNonFuncSMTValueType (mlir::Type type)
	Returns whether the given type is an SMT value type (excluding functions).

Function Documentation

isAnyNonFuncSMTValueType()

bool circt::smt::isAnyNonFuncSMTValueType

(

mlir::Type

type

)

Returns whether the given type is an SMT value type (excluding functions).

isAnySMTValueType()

bool circt::smt::isAnySMTValueType

(

mlir::Type

type

)

Returns whether the given type is an SMT value type.