BoolTest< Builder_ > Class Template Reference

Inheritance diagram for BoolTest< Builder_ >:

Classes
struct	BoolInput

Public Types
using	Builder = Builder_
using	witness_ct = stdlib::witness_t< Builder >
using	bool_ct = stdlib::bool_t< Builder >

Public Member Functions
void	test_binary_op (std::string const &op_name, const std::function< bool_ct(const bool_ct &, const bool_ct &)> &op, const std::function< bool(bool, bool)> &expected_op)
void	test_construct_from_const_bool ()
void	test_construct_from_witness_index ()
void	test_construct_from_witness ()
void	test_construct_from_witness_range_constraint ()
void	test_AND ()
void	test_xor ()
void	test_OR ()
void	test_EQ ()
void	test_NEQ ()
void	test_implies ()
void	test_implies_both_ways ()
void	test_must_imply ()
void	test_conditional_assign ()
void	test_normalize ()
void	test_assert_equal ()
void	test_basic_operations_tags ()
void	test_simple_proof ()

Static Public Member Functions
static bool_ct	create_bool_ct (const BoolInput &in, Builder *builder)
static size_t	compute_conditional_assign_gates (const bool_ct &condition, const bool_ct &a, const bool_ct &b, const BoolInput &lhs, const BoolInput &rhs)

Public Attributes
std::array< BoolInput, 8 >	all_inputs

Detailed Description

template<class Builder_>
class BoolTest< Builder_ >

Definition at line 17 of file bool.test.cpp.

Member Typedef Documentation

bool_ct

template<class Builder_ >

using BoolTest< Builder_ >::bool_ct = stdlib::bool_t<Builder>

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

Builder

template<class Builder_ >

using BoolTest< Builder_ >::Builder = Builder_

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

witness_ct

template<class Builder_ >

using BoolTest< Builder_ >::witness_ct = stdlib::witness_t<Builder>

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

Member Function Documentation

compute_conditional_assign_gates()

template<class Builder_ >

static size_t BoolTest< Builder_ >::compute_conditional_assign_gates ( const bool_ct &  condition, const bool_ct &  a, const bool_ct &  b, const BoolInput &  lhs, const BoolInput &  rhs  )

inlinestatic

Definition at line 289 of file bool.test.cpp.

create_bool_ct()

template<class Builder_ >

static bool_ct BoolTest< Builder_ >::create_bool_ct ( const BoolInput &  in, Builder *  builder  )

inlinestatic

Definition at line 44 of file bool.test.cpp.

test_AND()

template<class Builder_ >

void BoolTest< Builder_ >::test_AND ( )

inline

Definition at line 191 of file bool.test.cpp.

test_assert_equal()

template<class Builder_ >

void BoolTest< Builder_ >::test_assert_equal ( )

inline

Definition at line 429 of file bool.test.cpp.

test_basic_operations_tags()

template<class Builder_ >

void BoolTest< Builder_ >::test_basic_operations_tags ( )

inline

Definition at line 458 of file bool.test.cpp.

test_binary_op()

template<class Builder_ >

void BoolTest< Builder_ >::test_binary_op ( std::string const &  op_name, const std::function< bool_ct(const bool_ct &, const bool_ct &)> &  op, const std::function< bool(bool, bool)> &  expected_op  )

inline

Definition at line 50 of file bool.test.cpp.

test_conditional_assign()

template<class Builder_ >

void BoolTest< Builder_ >::test_conditional_assign ( )

inline

Definition at line 354 of file bool.test.cpp.

test_construct_from_const_bool()

template<class Builder_ >

void BoolTest< Builder_ >::test_construct_from_const_bool ( )

inline

Definition at line 96 of file bool.test.cpp.

test_construct_from_witness()

template<class Builder_ >

void BoolTest< Builder_ >::test_construct_from_witness ( )

inline

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

test_construct_from_witness_index()

template<class Builder_ >

void BoolTest< Builder_ >::test_construct_from_witness_index ( )

inline

Definition at line 110 of file bool.test.cpp.

test_construct_from_witness_range_constraint()

template<class Builder_ >

void BoolTest< Builder_ >::test_construct_from_witness_range_constraint ( )

inline

Definition at line 155 of file bool.test.cpp.

test_EQ()

template<class Builder_ >

void BoolTest< Builder_ >::test_EQ ( )

inline

Definition at line 209 of file bool.test.cpp.

test_implies()

template<class Builder_ >

void BoolTest< Builder_ >::test_implies ( )

inline

Definition at line 221 of file bool.test.cpp.

test_implies_both_ways()

template<class Builder_ >

void BoolTest< Builder_ >::test_implies_both_ways ( )

inline

Definition at line 229 of file bool.test.cpp.

test_must_imply()

template<class Builder_ >

void BoolTest< Builder_ >::test_must_imply ( )

inline

Definition at line 237 of file bool.test.cpp.

test_NEQ()

template<class Builder_ >

void BoolTest< Builder_ >::test_NEQ ( )

inline

Definition at line 215 of file bool.test.cpp.

test_normalize()

template<class Builder_ >

void BoolTest< Builder_ >::test_normalize ( )

inline

Definition at line 404 of file bool.test.cpp.

test_OR()

template<class Builder_ >

void BoolTest< Builder_ >::test_OR ( )

inline

Definition at line 203 of file bool.test.cpp.

test_simple_proof()

template<class Builder_ >

void BoolTest< Builder_ >::test_simple_proof ( )

inline

Definition at line 518 of file bool.test.cpp.

test_xor()

template<class Builder_ >

void BoolTest< Builder_ >::test_xor ( )

inline

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

Member Data Documentation

all_inputs

template<class Builder_ >

std::array<BoolInput, 8> BoolTest< Builder_ >::all_inputs

Initial value:

= []() {
        std::array<BoolInput, 8> inputs{};
        size_t idx = 0;
        for (bool is_const : { false, true }) {
            for (bool value : { false, true }) {
                for (bool is_inverted : { false, true }) {
                    inputs[idx++] = BoolInput{ is_const, value, is_inverted };
                }
            }
        }
        return inputs;
    }()

Definition at line 31 of file bool.test.cpp.

---

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

• src/barretenberg/stdlib/primitives/bool/bool.test.cpp