LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::alignmentHelpers Namespace Reference

Concepts

concept  Matcher

Functions

template<class ValueT, class FnT>
requires Matcher<ValueT, FnT>
llvm::FailureOr< llvm::SetVector< std::pair< ValueT, ValueT > > > getMatchingPairs (llvm::ArrayRef< ValueT > as, llvm::ArrayRef< ValueT > bs, FnT doesMatch, bool allowPartial=true)

Function Documentation

◆ getMatchingPairs()

template<class ValueT, class FnT>
requires Matcher<ValueT, FnT>
llvm::FailureOr< llvm::SetVector< std::pair< ValueT, ValueT > > > llzk::alignmentHelpers::getMatchingPairs ( llvm::ArrayRef< ValueT > as,
llvm::ArrayRef< ValueT > bs,
FnT doesMatch,
bool allowPartial = true )

Definition at line 28 of file AlignmentHelper.h.