Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
stdlib_array< Builder > Class Template Reference
Inheritance diagram for stdlib_array< Builder >:

Classes

class  MockClass
 

Public Member Functions

void test_array_push_generic ()
 
void test_array_push_generic_full ()
 

Static Public Member Functions

static void test_array_length ()
 
static void test_array_length_null ()
 
static void test_array_length_fails ()
 
static void test_array_pop ()
 
static void test_array_pop_from_empty ()
 
static void test_array_push ()
 
static void test_array_push_optional ()
 
static void test_array_push_shared_ptr ()
 
static void test_is_array_empty ()
 
template<size_t size_1, size_t size_2>
static auto test_push_array_to_array_helper (Builder &builder, std::array< fr, size_1 > const &source, std::array< fr, size_2 > const &target, std::array< fr, size_2 > const &expected_target, bool const expect_fail=false)
 
static void test_pata_large_bench ()
 
static void test_pata_same_size_not_full_to_not_full ()
 
static void test_pata_same_size_not_full_to_not_full_2 ()
 
static void test_pata_same_size_not_full_to_empty ()
 
static void test_pata_smaller_source_full_to_not_full ()
 
static void test_pata_null_source ()
 
static void test_pata_null_target_fails ()
 
static void test_pata_singletons_full_to_not_full ()
 
static void test_pata_singletons_not_full_to_full ()
 
static void test_pata_singletons_full_to_full ()
 
static void test_pata_same_size_full_to_full_fails ()
 
static void test_pata_nonzero_after_zero_source_fails ()
 
static void test_pata_nonzero_after_zero_source_fails_2 ()
 
static void test_pata_nonzero_after_zero_target_fails ()
 
static void test_pata_nonzero_after_zero_target_fails_2 ()
 

Private Types

using bool_ct = stdlib::bool_t< Builder >
 
using field_ct = stdlib::field_t< Builder >
 
using witness_ct = stdlib::witness_t< Builder >
 
using public_witness_ct = stdlib::public_witness_t< Builder >
 

Detailed Description

template<typename Builder>
class stdlib_array< Builder >

Definition at line 18 of file array.test.cpp.

Member Typedef Documentation

◆ bool_ct

template<typename Builder >
using stdlib_array< Builder >::bool_ct = stdlib::bool_t<Builder>
private

Definition at line 19 of file array.test.cpp.

◆ field_ct

template<typename Builder >
using stdlib_array< Builder >::field_ct = stdlib::field_t<Builder>
private

Definition at line 20 of file array.test.cpp.

◆ public_witness_ct

Definition at line 22 of file array.test.cpp.

◆ witness_ct

template<typename Builder >
using stdlib_array< Builder >::witness_ct = stdlib::witness_t<Builder>
private

Definition at line 21 of file array.test.cpp.

Member Function Documentation

◆ test_array_length()

template<typename Builder >
static void stdlib_array< Builder >::test_array_length ( )
inlinestatic

Definition at line 25 of file array.test.cpp.

◆ test_array_length_fails()

template<typename Builder >
static void stdlib_array< Builder >::test_array_length_fails ( )
inlinestatic

Definition at line 60 of file array.test.cpp.

◆ test_array_length_null()

template<typename Builder >
static void stdlib_array< Builder >::test_array_length_null ( )
inlinestatic

Definition at line 46 of file array.test.cpp.

◆ test_array_pop()

template<typename Builder >
static void stdlib_array< Builder >::test_array_pop ( )
inlinestatic

Definition at line 84 of file array.test.cpp.

◆ test_array_pop_from_empty()

template<typename Builder >
static void stdlib_array< Builder >::test_array_pop_from_empty ( )
inlinestatic

Definition at line 105 of file array.test.cpp.

◆ test_array_push()

template<typename Builder >
static void stdlib_array< Builder >::test_array_push ( )
inlinestatic

Definition at line 130 of file array.test.cpp.

◆ test_array_push_generic()

template<typename Builder >
void stdlib_array< Builder >::test_array_push_generic ( )
inline

Definition at line 550 of file array.test.cpp.

◆ test_array_push_generic_full()

template<typename Builder >
void stdlib_array< Builder >::test_array_push_generic_full ( )
inline

Definition at line 575 of file array.test.cpp.

◆ test_array_push_optional()

template<typename Builder >
static void stdlib_array< Builder >::test_array_push_optional ( )
inlinestatic

Definition at line 157 of file array.test.cpp.

◆ test_array_push_shared_ptr()

template<typename Builder >
static void stdlib_array< Builder >::test_array_push_shared_ptr ( )
inlinestatic

Definition at line 197 of file array.test.cpp.

◆ test_is_array_empty()

template<typename Builder >
static void stdlib_array< Builder >::test_is_array_empty ( )
inlinestatic

Definition at line 220 of file array.test.cpp.

◆ test_pata_large_bench()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_large_bench ( )
inlinestatic

Definition at line 288 of file array.test.cpp.

◆ test_pata_nonzero_after_zero_source_fails()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_nonzero_after_zero_source_fails ( )
inlinestatic

Definition at line 455 of file array.test.cpp.

◆ test_pata_nonzero_after_zero_source_fails_2()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_nonzero_after_zero_source_fails_2 ( )
inlinestatic

Definition at line 472 of file array.test.cpp.

◆ test_pata_nonzero_after_zero_target_fails()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_nonzero_after_zero_target_fails ( )
inlinestatic

Definition at line 489 of file array.test.cpp.

◆ test_pata_nonzero_after_zero_target_fails_2()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_nonzero_after_zero_target_fails_2 ( )
inlinestatic

Definition at line 506 of file array.test.cpp.

◆ test_pata_null_source()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_null_source ( )
inlinestatic

Definition at line 365 of file array.test.cpp.

◆ test_pata_null_target_fails()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_null_target_fails ( )
inlinestatic

Definition at line 380 of file array.test.cpp.

◆ test_pata_same_size_full_to_full_fails()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_same_size_full_to_full_fails ( )
inlinestatic

Definition at line 438 of file array.test.cpp.

◆ test_pata_same_size_not_full_to_empty()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_same_size_not_full_to_empty ( )
inlinestatic

Definition at line 337 of file array.test.cpp.

◆ test_pata_same_size_not_full_to_not_full()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_same_size_not_full_to_not_full ( )
inlinestatic

Definition at line 309 of file array.test.cpp.

◆ test_pata_same_size_not_full_to_not_full_2()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_same_size_not_full_to_not_full_2 ( )
inlinestatic

Definition at line 323 of file array.test.cpp.

◆ test_pata_singletons_full_to_full()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_singletons_full_to_full ( )
inlinestatic

Definition at line 423 of file array.test.cpp.

◆ test_pata_singletons_full_to_not_full()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_singletons_full_to_not_full ( )
inlinestatic

Definition at line 395 of file array.test.cpp.

◆ test_pata_singletons_not_full_to_full()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_singletons_not_full_to_full ( )
inlinestatic

Definition at line 409 of file array.test.cpp.

◆ test_pata_smaller_source_full_to_not_full()

template<typename Builder >
static void stdlib_array< Builder >::test_pata_smaller_source_full_to_not_full ( )
inlinestatic

Definition at line 351 of file array.test.cpp.

◆ test_push_array_to_array_helper()

template<typename Builder >
template<size_t size_1, size_t size_2>
static auto stdlib_array< Builder >::test_push_array_to_array_helper ( Builder builder,
std::array< fr, size_1 > const &  source,
std::array< fr, size_2 > const &  target,
std::array< fr, size_2 > const &  expected_target,
bool const  expect_fail = false 
)
inlinestatic

Definition at line 255 of file array.test.cpp.


The documentation for this class was generated from the following file: