SMTEnums.h.inc File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	llzk::smt::BVCmpPredicateAttr
struct	mlir::FieldParser<::llzk::smt::BVCmpPredicate, ::llzk::smt::BVCmpPredicate >
struct	mlir::FieldParser< std::optional<::llzk::smt::BVCmpPredicate >, std::optional<::llzk::smt::BVCmpPredicate > >
	Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct	llvm::DenseMapInfo<::llzk::smt::BVCmpPredicate >
class	llzk::smt::IntPredicateAttr
struct	mlir::FieldParser<::llzk::smt::IntPredicate, ::llzk::smt::IntPredicate >
struct	mlir::FieldParser< std::optional<::llzk::smt::IntPredicate >, std::optional<::llzk::smt::IntPredicate > >
	Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct	llvm::DenseMapInfo<::llzk::smt::IntPredicate >

Namespaces
namespace	llzk
namespace	llzk::smt
namespace	mlir
namespace	llvm

Enumerations
enum class	llzk::smt::BVCmpPredicate : uint64_t {   llzk::smt::slt = 0 , llzk::smt::sle = 1 , llzk::smt::sgt = 2 , llzk::smt::sge = 3 ,   llzk::smt::ult = 4 , llzk::smt::ule = 5 , llzk::smt::ugt = 6 , llzk::smt::uge = 7 }
enum class	llzk::smt::IntPredicate : uint64_t { llzk::smt::lt = 0 , llzk::smt::le = 1 , llzk::smt::gt = 2 , llzk::smt::ge = 3 }

Functions
::std::optional< BVCmpPredicate >	llzk::smt::symbolizeBVCmpPredicate (uint64_t value)
::llvm::StringRef	llzk::smt::stringifyBVCmpPredicate (BVCmpPredicate val)
::std::optional< BVCmpPredicate >	llzk::smt::symbolizeBVCmpPredicate (::llvm::StringRef str)
constexpr unsigned	llzk::smt::getMaxEnumValForBVCmpPredicate ()
inline ::llvm::StringRef	llzk::smt::stringifyEnum (BVCmpPredicate enumValue)
template<typename EnumType>
::std::optional< EnumType >	llzk::smt::symbolizeEnum (::llvm::StringRef)
template<>
inline ::std::optional< BVCmpPredicate >	llzk::smt::symbolizeEnum< BVCmpPredicate > (::llvm::StringRef str)
inline ::llvm::raw_ostream &	llvm::operator<< (::llvm::raw_ostream &p, ::llzk::smt::BVCmpPredicate value)
::std::optional< IntPredicate >	llzk::smt::symbolizeIntPredicate (uint64_t value)
::llvm::StringRef	llzk::smt::stringifyIntPredicate (IntPredicate val)
::std::optional< IntPredicate >	llzk::smt::symbolizeIntPredicate (::llvm::StringRef str)
constexpr unsigned	llzk::smt::getMaxEnumValForIntPredicate ()
inline ::llvm::StringRef	llzk::smt::stringifyEnum (IntPredicate enumValue)
template<>
inline ::std::optional< IntPredicate >	llzk::smt::symbolizeEnum< IntPredicate > (::llvm::StringRef str)
inline ::llvm::raw_ostream &	llvm::operator<< (::llvm::raw_ostream &p, ::llzk::smt::IntPredicate value)