LLZK 0.1.0
Veridise's ZK Language IR
|
Go to the source code of this file.
Classes | |
struct | mlir::FieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate > |
struct | llvm::DenseMapInfo<::llzk::boolean::FeltCmpPredicate > |
Namespaces | |
namespace | llzk |
namespace | llzk::boolean |
namespace | mlir |
namespace | llvm |
Enumerations | |
enum class | llzk::boolean::FeltCmpPredicate : uint32_t { llzk::boolean::EQ = 0 , llzk::boolean::NE = 1 , llzk::boolean::LT = 2 , llzk::boolean::LE = 3 , llzk::boolean::GT = 4 , llzk::boolean::GE = 5 } |
Functions | |
::std::optional< FeltCmpPredicate > | llzk::boolean::symbolizeFeltCmpPredicate (uint32_t value) |
::llvm::StringRef | llzk::boolean::stringifyFeltCmpPredicate (FeltCmpPredicate val) |
::std::optional< FeltCmpPredicate > | llzk::boolean::symbolizeFeltCmpPredicate (::llvm::StringRef str) |
constexpr unsigned | llzk::boolean::getMaxEnumValForFeltCmpPredicate () |
inline ::llvm::StringRef | llzk::boolean::stringifyEnum (FeltCmpPredicate enumValue) |
template<typename EnumType> | |
::std::optional< EnumType > | llzk::boolean::symbolizeEnum (::llvm::StringRef) |
template<> | |
inline ::std::optional< FeltCmpPredicate > | llzk::boolean::symbolizeEnum< FeltCmpPredicate > (::llvm::StringRef str) |
inline ::llvm::raw_ostream & | llvm::operator<< (::llvm::raw_ostream &p, ::llzk::boolean::FeltCmpPredicate value) |