circt::smt Namespace Reference

Namespaces
	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. More...
bool	isAnyNonFuncSMTValueType (mlir::Type type)
	Returns whether the given type is an SMT value type (excluding functions). More...

Function Documentation

isAnyNonFuncSMTValueType()

bool circt::smt::isAnyNonFuncSMTValueType

(

mlir::Type

type

)

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

Referenced by verifyQuantifierRegions().

isAnySMTValueType()

bool circt::smt::isAnySMTValueType

(

mlir::Type

type

)

Returns whether the given type is an SMT value type.