LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::boolean Namespace Reference

Namespaces

namespace  detail
 

Classes

class  AndBoolOp
 
class  AndBoolOpAdaptor
 
class  AndBoolOpGenericAdaptor
 
class  AssertOp
 
class  AssertOpAdaptor
 
class  AssertOpGenericAdaptor
 
class  BoolDialect
 
class  CmpOp
 
class  CmpOpAdaptor
 
class  CmpOpGenericAdaptor
 
class  NotBoolOp
 
class  NotBoolOpAdaptor
 
class  NotBoolOpGenericAdaptor
 
class  OrBoolOp
 
class  OrBoolOpAdaptor
 
class  OrBoolOpGenericAdaptor
 
class  XorBoolOp
 
class  XorBoolOpAdaptor
 
class  XorBoolOpGenericAdaptor
 

Enumerations

enum class  FeltCmpPredicate : uint32_t {
  EQ = 0 , NE = 1 , LT = 2 , LE = 3 ,
  GT = 4 , GE = 5
}
 

Functions

::llvm::StringRef stringifyFeltCmpPredicate (FeltCmpPredicate val)
 
::std::optional< FeltCmpPredicatesymbolizeFeltCmpPredicate (::llvm::StringRef str)
 
::std::optional< FeltCmpPredicatesymbolizeFeltCmpPredicate (uint32_t value)
 
constexpr unsigned getMaxEnumValForFeltCmpPredicate ()
 
inline ::llvm::StringRef stringifyEnum (FeltCmpPredicate enumValue)
 
template<typename EnumType>
::std::optional< EnumType > symbolizeEnum (::llvm::StringRef)
 
template<>
inline ::std::optional< FeltCmpPredicatesymbolizeEnum< FeltCmpPredicate > (::llvm::StringRef str)
 

Enumeration Type Documentation

◆ FeltCmpPredicate

enum class llzk::boolean::FeltCmpPredicate : uint32_t
strong
Enumerator
EQ 
NE 
LT 
LE 
GT 
GE 

Definition at line 13 of file Enums.h.inc.

Function Documentation

◆ getMaxEnumValForFeltCmpPredicate()

unsigned llzk::boolean::getMaxEnumValForFeltCmpPredicate ( )
inlineconstexpr

Definition at line 25 of file Enums.h.inc.

◆ stringifyEnum()

inline ::llvm::StringRef llzk::boolean::stringifyEnum ( FeltCmpPredicate enumValue)

Definition at line 30 of file Enums.h.inc.

◆ stringifyFeltCmpPredicate()

llvm::StringRef llzk::boolean::stringifyFeltCmpPredicate ( FeltCmpPredicate val)

Definition at line 12 of file Enums.cpp.inc.

◆ symbolizeEnum()

template<typename EnumType>
::std::optional< EnumType > llzk::boolean::symbolizeEnum ( ::llvm::StringRef )

◆ symbolizeEnum< FeltCmpPredicate >()

template<>
inline ::std::optional< FeltCmpPredicate > llzk::boolean::symbolizeEnum< FeltCmpPredicate > ( ::llvm::StringRef str)

Definition at line 35 of file Enums.h.inc.

◆ symbolizeFeltCmpPredicate() [1/2]

std::optional< FeltCmpPredicate > llzk::boolean::symbolizeFeltCmpPredicate ( ::llvm::StringRef str)

Definition at line 24 of file Enums.cpp.inc.

◆ symbolizeFeltCmpPredicate() [2/2]

std::optional< FeltCmpPredicate > llzk::boolean::symbolizeFeltCmpPredicate ( uint32_t value)

Definition at line 34 of file Enums.cpp.inc.